Name Last modified Size Parent Directory - seqan-dev_1.4.2+dfsg-3_all.deb 2018-07-16 16:33 1.0M seqan_1.4.2+dfsg-3.debian.tar.xz 2018-07-16 15:20 7.1K seqan_1.4.2+dfsg-3.dsc 2018-07-16 15:20 2.0K seqan_1.4.2+dfsg.orig.tar.xz 2016-08-03 01:03 8.8M