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