../ libseqan3-dev_3.0.1+ds-3~bpo10+1_amd64.deb 04-Feb-2020 15:25 641K libseqan3-dev_3.0.1+ds-3~bpo10+1_mips64el.deb 10-Feb-2020 21:26 641K seqan3-doc_3.0.1+ds-3~bpo10+1_all.deb 04-Feb-2020 15:25 12M seqan3_3.0.1+ds-3~bpo10+1.debian.tar.xz 04-Feb-2020 15:25 8716 seqan3_3.0.1+ds-3~bpo10+1.dsc 04-Feb-2020 15:25 2744 seqan3_3.0.1+ds.orig.tar.xz 23-Jan-2020 17:51 2M