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

Name Last Modified Size Type
Parent Directory  Directory
minisat2_070721-8.diff.gz2010-Jan-18 03:05:188.1K application/x-gzip
minisat2_070721-8.dsc2010-Jan-18 03:05:181K application/octet-stream
minisat2_070721-8_amd64.deb2010-Jan-18 11:05:0295.4K application/octet-stream
minisat2_070721-8_i386.deb2010-Jan-18 08:05:3493.4K application/octet-stream
minisat2_070721.orig.tar.gz2008-Jun-20 07:07:3331.2K application/x-gzip
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.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