../ seqan-dev_1.4.2+dfsg-3_all.deb 16-Jul-2018 17:03 1M seqan_1.4.2+dfsg-3.debian.tar.xz 16-Jul-2018 15:50 7308 seqan_1.4.2+dfsg-3.dsc 16-Jul-2018 15:50 2075 seqan_1.4.2+dfsg.orig.tar.xz 03-Aug-2016 01:33 9M