| Parent Directory | | | Directory |
| minisat2_070721-8.diff.gz | 2010-Jan-18 03:05:18 | 8.1K | application/x-gzip |
| minisat2_070721-8.dsc | 2010-Jan-18 03:05:18 | 1K | application/octet-stream |
| minisat2_070721-8_amd64.deb | 2010-Jan-18 11:05:02 | 95.4K | application/octet-stream |
| minisat2_070721-8_i386.deb | 2010-Jan-18 08:05:34 | 93.4K | application/octet-stream |
| minisat2_070721.orig.tar.gz | 2008-Jun-20 07:07:33 | 31.2K | application/x-gzip |
| minisat2_2.2.0-2.debian.tar.gz | 2010-Oct-15 09:06:52 | 9.6K | application/x-gzip |
| minisat2_2.2.0-2.dsc | 2010-Oct-15 09:06:52 | 1.1K | application/octet-stream |
| minisat2_2.2.0-2_amd64.deb | 2010-Oct-17 04:05:09 | 105K | application/octet-stream |
| minisat2_2.2.0-2_i386.deb | 2010-Oct-17 06:05:42 | 103.5K | application/octet-stream |
| minisat2_2.2.0.orig.tar.gz | 2010-Oct-15 09:06:52 | 42.8K | application/x-gzip |
| minisat2_2.2.1-2.debian.tar.gz | 2011-Jun-14 07:05:08 | 8.2K | application/x-gzip |
| minisat2_2.2.1-2.dsc | 2011-Jun-14 07:05:08 | 1.1K | application/octet-stream |
| minisat2_2.2.1-2_amd64.deb | 2011-Jun-14 09:05:42 | 1.9K | application/octet-stream |
| minisat2_2.2.1-2_i386.deb | 2011-Jun-14 08:05:46 | 1.9K | application/octet-stream |
| minisat2_2.2.1-3.debian.tar.gz | 2011-Oct-17 09:05:01 | 8.4K | application/x-gzip |
| minisat2_2.2.1-3.dsc | 2011-Oct-17 09:05:01 | 1.1K | application/octet-stream |
| minisat2_2.2.1-3_amd64.deb | 2011-Oct-17 23:03:56 | 1.8K | application/octet-stream |
| minisat2_2.2.1-3_i386.deb | 2011-Oct-17 22:05:22 | 1.8K | application/octet-stream |
| minisat2_2.2.1.orig.tar.gz | 2011-Apr-30 13:05:36 | 43.2K | application/x-gzip |
| minisat_2.2.1-2_amd64.deb | 2011-Jun-14 09:05:42 | 123.1K | application/octet-stream |
| minisat_2.2.1-2_i386.deb | 2011-Jun-14 08:05:46 | 123.2K | application/octet-stream |
| minisat_2.2.1-3_amd64.deb | 2011-Oct-17 23:03:56 | 123.9K | application/octet-stream |
| minisat_2.2.1-3_i386.deb | 2011-Oct-17 22:05:22 | 124K | application/octet-stream |