../ libseqan3-dev_3.0.0+ds2-5_amd64.deb 29-Nov-2019 12:28 778996 seqan3-doc_3.0.0+ds2-5_all.deb 29-Nov-2019 12:28 10793504 seqan3_3.0.0+ds2-5.debian.tar.xz 29-Nov-2019 11:13 13120 seqan3_3.0.0+ds2-5.dsc 29-Nov-2019 11:13 2454 seqan3_3.0.0+ds2.orig.tar.xz 11-Nov-2019 17:13 2003684