../ libseqan3-dev_3.0.2+ds-4_all.deb 03-Nov-2020 20:27 703196 seqan3-doc_3.0.2+ds-4_all.deb 03-Nov-2020 20:27 10436432 seqan3_3.0.2+ds-4.debian.tar.xz 03-Nov-2020 17:59 10584 seqan3_3.0.2+ds-4.dsc 03-Nov-2020 17:59 2505 seqan3_3.0.2+ds.orig.tar.xz 13-Oct-2020 12:02 1865784