../ | | - | Directory |
minisat2_070721-5.diff.gz | 2008-Sep-07 20:17:02 | 7.1K | application/gzip |
minisat2_070721-5.dsc | 2008-Sep-07 20:17:02 | 0.9K | application/octet-stream |
minisat2_070721-5_alpha.deb | 2008-Sep-10 20:02:15 | 40.2K | application/vnd.debian.binary-package |
minisat2_070721-5_amd64.deb | 2008-Sep-08 07:32:04 | 41.8K | application/vnd.debian.binary-package |
minisat2_070721-5_arm.deb | 2008-Sep-09 22:17:44 | 41.7K | application/vnd.debian.binary-package |
minisat2_070721-5_armel.deb | 2008-Sep-08 13:02:05 | 41.0K | application/vnd.debian.binary-package |
minisat2_070721-5_hppa.deb | 2008-Sep-09 07:02:07 | 44.5K | application/vnd.debian.binary-package |
minisat2_070721-5_powerpc.deb | 2008-Sep-10 19:47:36 | 43.3K | application/vnd.debian.binary-package |
minisat2_070721-5_s390.deb | 2008-Sep-07 20:17:02 | 41.0K | application/vnd.debian.binary-package |
minisat2_070721.orig.tar.gz | 2008-Jun-08 10:02:04 | 31.1K | application/x-gtar-compressed |
minisat2_2.2.0-2.debian.tar.gz | 2010-Jul-25 21:50:03 | 9.5K | application/x-gtar-compressed |
minisat2_2.2.0-2.dsc | 2010-Jul-25 21:50:03 | 1.0K | application/octet-stream |
minisat2_2.2.0-2_amd64.deb | 2010-Jul-25 21:50:03 | 107.2K | application/vnd.debian.binary-package |
minisat2_2.2.0-2_armel.deb | 2010-Jul-27 09:38:49 | 102.6K | application/vnd.debian.binary-package |
minisat2_2.2.0-2_kfreebsd-amd64.deb | 2010-Jul-29 21:58:35 | 105.5K | application/vnd.debian.binary-package |
minisat2_2.2.0-2_powerpc.deb | 2010-Jul-26 15:59:38 | 110.1K | application/vnd.debian.binary-package |
minisat2_2.2.0-2_s390.deb | 2010-Jul-26 11:51:14 | 106.4K | application/vnd.debian.binary-package |
minisat2_2.2.0.orig.tar.gz | 2010-Jul-25 08:02:20 | 42.8K | application/x-gtar-compressed |
minisat2_2.2.1-3.debian.tar.gz | 2011-Sep-04 00:34:38 | 8.4K | application/x-gtar-compressed |
minisat2_2.2.1-3.dsc | 2011-Sep-04 00:34:38 | 1.1K | application/octet-stream |
minisat2_2.2.1-3_amd64.deb | 2011-Sep-04 01:03:37 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-3_armel.deb | 2011-Sep-04 02:33:22 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-3_armhf.deb | 2011-Nov-28 00:01:08 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-3_kfreebsd-amd64.deb | 2011-Sep-04 01:17:59 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-3_powerpc.deb | 2011-Sep-04 01:32:57 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-3_s390.deb | 2011-Sep-04 01:03:48 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-3_s390x.deb | 2011-Nov-26 23:45:37 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-5+b1_s390x.deb | 2014-Aug-27 01:00:48 | 5.2K | application/vnd.debian.binary-package |
minisat2_2.2.1-5+b3_amd64.deb | 2017-Mar-07 11:27:08 | 5.1K | application/vnd.debian.binary-package |
minisat2_2.2.1-5+b3_arm64.deb | 2017-Mar-07 11:11:59 | 5.1K | application/vnd.debian.binary-package |
minisat2_2.2.1-5+b3_armel.deb | 2017-Mar-07 12:13:22 | 5.1K | application/vnd.debian.binary-package |
minisat2_2.2.1-5+b3_armhf.deb | 2017-Mar-07 11:57:57 | 5.1K | application/vnd.debian.binary-package |
minisat2_2.2.1-5+b3_mips64el.deb | 2017-Mar-07 12:13:20 | 5.1K | application/vnd.debian.binary-package |
minisat2_2.2.1-5+b3_ppc64el.deb | 2017-Mar-07 11:27:16 | 5.1K | application/vnd.debian.binary-package |
minisat2_2.2.1-5+b3_s390x.deb | 2017-Mar-07 11:27:11 | 5.1K | application/vnd.debian.binary-package |
minisat2_2.2.1-5.debian.tar.xz | 2014-Jul-30 11:01:44 | 9.1K | application/x-xz |
minisat2_2.2.1-5.dsc | 2014-Jul-30 11:01:44 | 1.8K | application/octet-stream |
minisat2_2.2.1-5_amd64.deb | 2014-Jul-30 11:27:01 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-5_arm64.deb | 2014-Aug-18 10:43:48 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-5_armel.deb | 2014-Jul-30 12:12:15 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-5_armhf.deb | 2014-Jul-30 11:27:02 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-5_kfreebsd-amd64.deb | 2014-Jul-30 11:32:05 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-5_powerpc.deb | 2014-Jul-30 11:27:00 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1-5_ppc64el.deb | 2014-Aug-20 09:46:23 | 4.9K | application/vnd.debian.binary-package |
minisat2_2.2.1.orig.tar.gz | 2011-Mar-29 15:07:59 | 43.1K | application/x-gtar-compressed |
minisat_2.2.1-3_amd64.deb | 2011-Sep-04 01:03:37 | 127.4K | application/vnd.debian.binary-package |
minisat_2.2.1-3_armel.deb | 2011-Sep-04 02:33:22 | 125.0K | application/vnd.debian.binary-package |
minisat_2.2.1-3_armhf.deb | 2011-Nov-28 00:01:08 | 121.9K | application/vnd.debian.binary-package |
minisat_2.2.1-3_kfreebsd-amd64.deb | 2011-Sep-04 01:17:59 | 125.7K | application/vnd.debian.binary-package |
minisat_2.2.1-3_powerpc.deb | 2011-Sep-04 01:32:57 | 131.1K | application/vnd.debian.binary-package |
minisat_2.2.1-3_s390.deb | 2011-Sep-04 01:03:48 | 129.8K | application/vnd.debian.binary-package |
minisat_2.2.1-3_s390x.deb | 2011-Nov-26 23:45:37 | 143.2K | application/vnd.debian.binary-package |
minisat_2.2.1-5+b1_s390x.deb | 2014-Aug-27 01:00:48 | 91.5K | application/vnd.debian.binary-package |
minisat_2.2.1-5+b3_amd64.deb | 2017-Mar-07 11:27:08 | 82.9K | application/vnd.debian.binary-package |
minisat_2.2.1-5+b3_arm64.deb | 2017-Mar-07 11:11:59 | 80.0K | application/vnd.debian.binary-package |
minisat_2.2.1-5+b3_armel.deb | 2017-Mar-07 12:13:22 | 77.2K | application/vnd.debian.binary-package |
minisat_2.2.1-5+b3_armhf.deb | 2017-Mar-07 11:57:57 | 75.9K | application/vnd.debian.binary-package |
minisat_2.2.1-5+b3_mips64el.deb | 2017-Mar-07 12:13:20 | 88.8K | application/vnd.debian.binary-package |
minisat_2.2.1-5+b3_ppc64el.deb | 2017-Mar-07 11:27:16 | 86.4K | application/vnd.debian.binary-package |
minisat_2.2.1-5+b3_s390x.deb | 2017-Mar-07 11:27:11 | 81.2K | application/vnd.debian.binary-package |
minisat_2.2.1-5_amd64.deb | 2014-Jul-30 11:27:01 | 83.5K | application/vnd.debian.binary-package |
minisat_2.2.1-5_arm64.deb | 2014-Aug-18 10:43:48 | 81.9K | application/vnd.debian.binary-package |
minisat_2.2.1-5_armel.deb | 2014-Jul-30 12:12:15 | 77.8K | application/vnd.debian.binary-package |
minisat_2.2.1-5_armhf.deb | 2014-Jul-30 11:27:02 | 78.1K | application/vnd.debian.binary-package |
minisat_2.2.1-5_kfreebsd-amd64.deb | 2014-Jul-30 11:32:05 | 82.5K | application/vnd.debian.binary-package |
minisat_2.2.1-5_powerpc.deb | 2014-Jul-30 11:27:00 | 87.6K | application/vnd.debian.binary-package |
minisat_2.2.1-5_ppc64el.deb | 2014-Aug-20 09:46:23 | 86.0K | application/vnd.debian.binary-package |