Index of /ubuntu/pool/universe/m/minisat2/

Name Last Modified Size Type
Parent Directory  Directory
minisat2_2.2.1-3.debian.tar.gz2011-Oct-17 09:05:018.4K application/x-gzip
minisat2_2.2.1-3.dsc2011-Oct-17 09:05:011.1K application/octet-stream
minisat2_2.2.1-3_amd64.deb2011-Oct-17 23:03:561.8K application/octet-stream
minisat2_2.2.1-3_i386.deb2011-Oct-17 22:05:221.8K application/octet-stream
minisat2_2.2.1-4.debian.tar.gz2013-Jul-14 18:43:249.2K application/x-gzip
minisat2_2.2.1-4.dsc2013-Jul-14 18:43:241.8K application/octet-stream
minisat2_2.2.1-4_amd64.deb2013-Jul-14 18:58:221.9K application/octet-stream
minisat2_2.2.1-4_i386.deb2013-Jul-14 18:58:241.9K application/octet-stream
minisat2_2.2.1-5.debian.tar.xz2014-Jul-30 13:44:519.1K application/octet-stream
minisat2_2.2.1-5.dsc2014-Jul-30 13:44:511.8K application/octet-stream
minisat2_2.2.1-5_amd64.deb2014-Jul-30 14:38:101.9K application/octet-stream
minisat2_2.2.1-5_i386.deb2014-Jul-30 14:40:071.9K application/octet-stream
minisat2_2.2.1.orig.tar.gz2011-Apr-30 13:05:3643.2K application/x-gzip
minisat_2.2.1-3_amd64.deb2011-Oct-17 23:03:56123.9K application/octet-stream
minisat_2.2.1-3_i386.deb2011-Oct-17 22:05:22124K application/octet-stream
minisat_2.2.1-4_amd64.deb2013-Jul-14 18:58:23127.9K application/octet-stream
minisat_2.2.1-4_i386.deb2013-Jul-14 18:58:25124.3K application/octet-stream
minisat_2.2.1-5_amd64.deb2014-Jul-30 14:38:1081K application/octet-stream
minisat_2.2.1-5_i386.deb2014-Jul-30 14:40:0794.8K application/octet-stream