../ seqan-dev_1.4.2+dfsg-3_all.deb 16-Jul-2018 14:33 1095880 seqan_1.4.2+dfsg-3.debian.tar.xz 16-Jul-2018 13:20 7308 seqan_1.4.2+dfsg-3.dsc 16-Jul-2018 13:20 2075 seqan_1.4.2+dfsg.orig.tar.xz 02-Aug-2016 23:03 9175900