../ libseqan3-dev_3.0.2+ds-3_all.deb 15-Oct-2020 16:10 703116 seqan3-doc_3.0.2+ds-3_all.deb 15-Oct-2020 16:10 10429232 seqan3_3.0.2+ds-3.debian.tar.xz 15-Oct-2020 12:31 9612 seqan3_3.0.2+ds-3.dsc 15-Oct-2020 12:31 2479 seqan3_3.0.2+ds.orig.tar.xz 13-Oct-2020 12:02 1865784