| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 minisat+_1.0-4.debian.tar.xz | 4176 bytes | 2017-02-22 20:22:46 |
| 📄 minisat+_1.0-4.dsc | 1984 bytes | 2017-02-22 20:22:46 |
| 📄 minisat+_1.0-4_armhf.deb | 120020 bytes | 2017-06-22 22:08:04 |
| 📄 minisat+_1.0-5.debian.tar.xz | 4448 bytes | 2024-10-09 21:34:30 |
| 📄 minisat+_1.0-5.dsc | 1979 bytes | 2024-10-09 21:34:30 |
| 📄 minisat+_1.0-5_armhf.deb | 106940 bytes | 2024-10-12 10:08:02 |
| 📄 minisat+_1.0.orig.tar.gz | 79990 bytes | 2012-04-19 02:11:29 |