../ libseqan3-dev_3.0.1+ds-8_all.deb 07-Feb-2020 18:26 654800 seqan3-doc_3.0.1+ds-8_all.deb 07-Feb-2020 18:26 10793124 seqan3_3.0.1+ds-8.debian.tar.xz 07-Feb-2020 15:15 9184 seqan3_3.0.1+ds-8.dsc 07-Feb-2020 15:15 2486 seqan3_3.0.1+ds.orig.tar.xz 23-Jan-2020 17:51 1768676