| Parent Directory/ | | - | Directory |
| minisat+_1.0-2.debian.tar.gz | 2011-Nov-12 17:20:28 | 3.8K | application/gzip |
| minisat+_1.0-2.dsc | 2011-Nov-12 17:20:28 | 1.2K | application/octet-stream |
| minisat+_1.0-2_arm64.deb | 2013-Oct-20 14:28:33 | 171.9K | application/vnd.debian.binary-package |
| minisat+_1.0-2_armhf.deb | 2011-Dec-07 21:04:40 | 140.8K | application/vnd.debian.binary-package |
| minisat+_1.0-2_powerpc.deb | 2011-Nov-13 15:03:55 | 169.3K | application/vnd.debian.binary-package |
| minisat+_1.0-2_ppc64el.deb | 2014-Feb-19 18:28:51 | 147.2K | application/vnd.debian.binary-package |
| minisat+_1.0-2_s390x.deb | 2015-Dec-05 09:47:12 | 146.9K | application/vnd.debian.binary-package |
| minisat+_1.0-4.debian.tar.xz | 2017-Apr-30 07:58:45 | 4.0K | application/x-xz |
| minisat+_1.0-4.dsc | 2017-Apr-30 07:58:45 | 1.9K | application/octet-stream |
| minisat+_1.0-4_arm64.deb | 2017-Apr-30 10:36:29 | 131.6K | application/vnd.debian.binary-package |
| minisat+_1.0-4_armhf.deb | 2017-Apr-30 10:37:43 | 122.3K | application/vnd.debian.binary-package |
| minisat+_1.0-4_ppc64el.deb | 2017-Apr-30 09:30:50 | 146.1K | application/vnd.debian.binary-package |
| minisat+_1.0-4_s390x.deb | 2017-Apr-30 09:32:51 | 146.1K | application/vnd.debian.binary-package |
| minisat+_1.0-4build1.debian.tar.xz | 2020-Mar-23 01:10:05 | 4.1K | application/x-xz |
| minisat+_1.0-4build1.dsc | 2020-Mar-23 01:10:05 | 1.9K | application/octet-stream |
| minisat+_1.0-4build1_arm64.deb | 2020-Mar-23 04:56:14 | 123.5K | application/vnd.debian.binary-package |
| minisat+_1.0-4build1_armhf.deb | 2020-Mar-23 04:56:29 | 116.9K | application/vnd.debian.binary-package |
| minisat+_1.0-4build1_ppc64el.deb | 2020-Mar-23 05:18:58 | 146.4K | application/vnd.debian.binary-package |
| minisat+_1.0-4build1_riscv64.deb | 2020-Apr-03 18:14:27 | 137.0K | application/vnd.debian.binary-package |
| minisat+_1.0-4build1_s390x.deb | 2020-Mar-23 04:31:42 | 155.0K | application/vnd.debian.binary-package |
| minisat+_1.0-5.debian.tar.xz | 2024-Nov-01 03:11:47 | 4.3K | application/x-xz |
| minisat+_1.0-5.dsc | 2024-Nov-01 03:11:47 | 1.9K | application/octet-stream |
| minisat+_1.0-5_arm64.deb | 2024-Nov-01 05:11:28 | 153.4K | application/vnd.debian.binary-package |
| minisat+_1.0-5_armhf.deb | 2024-Nov-01 05:20:06 | 144.1K | application/vnd.debian.binary-package |
| minisat+_1.0-5_ppc64el.deb | 2024-Nov-01 09:09:39 | 168.9K | application/vnd.debian.binary-package |
| minisat+_1.0-5_riscv64.deb | 2024-Nov-01 20:36:03 | 163.7K | application/vnd.debian.binary-package |
| minisat+_1.0-5_s390x.deb | 2024-Nov-01 05:34:30 | 189.2K | application/vnd.debian.binary-package |
| minisat+_1.0.orig.tar.gz | 2011-Nov-12 17:20:28 | 78.1K | application/gzip |