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