| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 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_amd64.deb | 149280 bytes | 2024-10-10 00:45:10 |
| 📄 minisat+_1.0-5_arm64.deb | 133140 bytes | 2024-10-10 00:29:46 |
| 📄 minisat+_1.0-5_armhf.deb | 129244 bytes | 2024-10-10 00:29:44 |
| 📄 minisat+_1.0-5_riscv64.deb | 151296 bytes | 2024-10-10 01:20:59 |
| 📄 minisat+_1.0.orig.tar.gz | 79990 bytes | 2011-05-14 12:02:24 |