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