| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 minisat2_2.2.1-5.debian.tar.xz | 9348 bytes | 2014-07-30 10:01:44 |
| 📄 minisat2_2.2.1-5.dsc | 1893 bytes | 2014-07-30 10:01:44 |
| 📄 minisat2_2.2.1-5_armhf.deb | 5038 bytes | 2014-08-13 05:11:44 |
| 📄 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 | 2012-04-19 02:11:29 |
| 📄 minisat_2.2.1-5_armhf.deb | 77722 bytes | 2014-08-13 05:11:44 |
| 📄 minisat_2.2.1-8_armhf.deb | 77300 bytes | 2024-05-17 19:48:24 |