../ seqan-dev_1.4.2+dfsg-2_all.deb 25-Sep-2016 06:42 1097770 seqan_1.4.2+dfsg-2.debian.tar.xz 25-Sep-2016 06:42 7284 seqan_1.4.2+dfsg-2.dsc 25-Sep-2016 06:42 2041 seqan_1.4.2+dfsg.orig.tar.xz 02-Aug-2016 22:03 9175900