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

NameLast ModifiedSizeType
../ -  Directory
minisat2_070721-8.diff.gz2010-Jan-18 09:05:188.0Kapplication/gzip
minisat2_070721-8.dsc2010-Jan-18 09:05:180.9Kapplication/octet-stream
minisat2_070721-8_amd64.deb2010-Jan-18 17:05:0295.3Kapplication/vnd.debian.binary-package
minisat2_070721-8_i386.deb2010-Jan-18 14:05:3493.3Kapplication/vnd.debian.binary-package
minisat2_070721.orig.tar.gz2008-Jun-20 13:07:3331.1Kapplication/gzip
minisat2_2.2.1-2.debian.tar.gz2011-Jun-14 13:05:088.1Kapplication/gzip
minisat2_2.2.1-2.dsc2011-Jun-14 13:05:081.1Kapplication/octet-stream
minisat2_2.2.1-2_amd64.deb2011-Jun-14 15:05:421.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1-2_i386.deb2011-Jun-14 14:05:461.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1-3.debian.tar.gz2011-Oct-17 15:05:018.4Kapplication/gzip
minisat2_2.2.1-3.dsc2011-Oct-17 15:05:011.1Kapplication/octet-stream
minisat2_2.2.1-3_amd64.deb2011-Oct-18 05:03:561.8Kapplication/vnd.debian.binary-package
minisat2_2.2.1-3_i386.deb2011-Oct-18 04:05:221.8Kapplication/vnd.debian.binary-package
minisat2_2.2.1-4.debian.tar.gz2013-Jul-15 00:43:249.1Kapplication/gzip
minisat2_2.2.1-4.dsc2013-Jul-15 00:43:241.8Kapplication/octet-stream
minisat2_2.2.1-4_amd64.deb2013-Jul-15 00:58:221.8Kapplication/vnd.debian.binary-package
minisat2_2.2.1-4_i386.deb2013-Jul-15 00:58:241.8Kapplication/vnd.debian.binary-package
minisat2_2.2.1.orig.tar.gz2011-Apr-30 19:05:3643.1Kapplication/gzip
minisat_2.2.1-2_amd64.deb2011-Jun-14 15:05:42123.1Kapplication/vnd.debian.binary-package
minisat_2.2.1-2_i386.deb2011-Jun-14 14:05:46123.2Kapplication/vnd.debian.binary-package
minisat_2.2.1-3_amd64.deb2011-Oct-18 05:03:56123.9Kapplication/vnd.debian.binary-package
minisat_2.2.1-3_i386.deb2011-Oct-18 04:05:22123.9Kapplication/vnd.debian.binary-package
minisat_2.2.1-4_amd64.deb2013-Jul-15 00:58:23127.8Kapplication/vnd.debian.binary-package
minisat_2.2.1-4_i386.deb2013-Jul-15 00:58:25124.3Kapplication/vnd.debian.binary-package
lighttpd/1.4.45