| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 minisat2_2.2.1-8.debian.tar.xz | 9864 bytes | 2024-02-26 17:03:03 |
| 📄 minisat2_2.2.1-8.dsc | 1729 bytes | 2024-02-26 17:03:03 |
| 📄 minisat2_2.2.1.orig.tar.gz | 44229 bytes | 2011-03-29 14:07:59 |
| 📄 minisat_2.2.1-8+b2_arm64.deb | 84768 bytes | 2025-04-07 18:41:29 |
| 📄 minisat_2.2.1-8_amd64.deb | 83108 bytes | 2024-02-26 17:23:23 |
| 📄 minisat_2.2.1-8_armhf.deb | 76312 bytes | 2024-02-26 17:23:27 |
| 📄 minisat_2.2.1-8_riscv64.deb | 150916 bytes | 2024-02-26 19:39:30 |