../ libseqan3-dev_3.0.1+ds-10_all.deb 04-May-2020 13:45 654940 seqan3-doc_3.0.1+ds-10_all.deb 04-May-2020 13:45 10754508 seqan3_3.0.1+ds-10.debian.tar.xz 04-May-2020 11:52 11188 seqan3_3.0.1+ds-10.dsc 04-May-2020 11:52 2493 seqan3_3.0.1+ds.orig.tar.xz 23-Jan-2020 17:51 1768676