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.0-2.debian.tar.gz2010-Oct-15 09:06:529.6K application/x-gzip
minisat2_2.2.0-2.dsc2010-Oct-15 09:06:521.1K application/octet-stream
minisat2_2.2.0-2_amd64.deb2010-Oct-17 04:05:09105K application/octet-stream
minisat2_2.2.0-2_i386.deb2010-Oct-17 06:05:42103.5K application/octet-stream
minisat2_2.2.0.orig.tar.gz2010-Oct-15 09:06:5242.8K application/x-gzip
minisat2_2.2.1-2.debian.tar.gz2011-Jun-14 07:05:088.2K application/x-gzip
minisat2_2.2.1-2.dsc2011-Jun-14 07:05:081.1K application/octet-stream
minisat2_2.2.1-2_amd64.deb2011-Jun-14 09:05:421.9K application/octet-stream
minisat2_2.2.1-2_i386.deb2011-Jun-14 08:05:461.9K application/octet-stream
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.orig.tar.gz2011-Apr-30 13:05:3643.2K application/x-gzip
minisat_2.2.1-2_amd64.deb2011-Jun-14 09:05:42123.1K application/octet-stream
minisat_2.2.1-2_i386.deb2011-Jun-14 08:05:46123.2K application/octet-stream
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