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