| 📂 Parent Directory | | |
| 📄 minisat+_1.0-4.debian.tar.xz | 2017-02-22 20:22:46 | 4.08 KB |
| 📄 minisat+_1.0-4.dsc | 2017-02-22 20:22:46 | 1.94 KB |
| 📄 minisat+_1.0-4_amd64.deb | 2017-02-22 21:12:54 | 154.66 KB |
| 📄 minisat+_1.0-4_arm64.deb | 2017-02-22 21:12:56 | 130.78 KB |
| 📄 minisat+_1.0-4_armel.deb | 2017-02-22 21:12:53 | 126.88 KB |
| 📄 minisat+_1.0-4_armhf.deb | 2017-02-22 21:12:56 | 130.6 KB |
| 📄 minisat+_1.0-4_i386.deb | 2017-02-22 21:12:55 | 156.32 KB |
| 📄 minisat+_1.0-4_mips64el.deb | 2017-02-22 21:28:00 | 144.42 KB |
| 📄 minisat+_1.0-4_mipsel.deb | 2017-02-22 21:43:03 | 141.33 KB |
| 📄 minisat+_1.0-4_ppc64el.deb | 2017-02-22 21:12:54 | 145.01 KB |
| 📄 minisat+_1.0-4_s390x.deb | 2017-02-22 21:12:55 | 143.26 KB |
| 📄 minisat+_1.0-5.debian.tar.xz | 2024-10-09 21:34:30 | 4.34 KB |
| 📄 minisat+_1.0-5.dsc | 2024-10-09 21:34:30 | 1.93 KB |
| 📄 minisat+_1.0-5_amd64.deb | 2024-10-10 00:45:10 | 145.78 KB |
| 📄 minisat+_1.0-5_arm64.deb | 2024-10-10 00:29:46 | 130.02 KB |
| 📄 minisat+_1.0-5_armel.deb | 2024-10-10 00:45:06 | 122.32 KB |
| 📄 minisat+_1.0-5_armhf.deb | 2024-10-10 00:29:44 | 126.21 KB |
| 📄 minisat+_1.0-5_i386.deb | 2024-10-10 00:40:03 | 144.5 KB |
| 📄 minisat+_1.0-5_mips64el.deb | 2024-10-10 01:52:12 | 139.72 KB |
| 📄 minisat+_1.0-5_ppc64el.deb | 2024-10-10 00:29:45 | 149.45 KB |
| 📄 minisat+_1.0-5_riscv64.deb | 2024-10-10 01:20:59 | 147.75 KB |
| 📄 minisat+_1.0-5_s390x.deb | 2024-10-10 00:45:18 | 163.67 KB |
| 📄 minisat+_1.0.orig.tar.gz | 2011-05-14 12:02:24 | 78.12 KB |
