Index of /pub/debian/pool/main/s/seqan/


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