|
mirror.unix-solutions.behosted by Unix-Solutions services: http, https, rsync |
|---|
Index of /raspbian/raspbian/pool/main/m/minisat2
| File | Last Modified | Size |
|---|---|---|
| 📂 Parent Directory | ||
| 📄 minisat2_2.2.1-5.debian.tar.xz | 2014-07-30 10:01:44 | 9.13 KB |
| 📄 minisat2_2.2.1-5.dsc | 2014-07-30 10:01:44 | 1.85 KB |
| 📄 minisat2_2.2.1-5_armhf.deb | 2014-08-13 05:11:44 | 4.92 KB |
| 📄 minisat2_2.2.1-8.debian.tar.xz | 2024-02-26 17:03:03 | 9.63 KB |
| 📄 minisat2_2.2.1-8.dsc | 2024-02-26 17:03:03 | 1.69 KB |
| 📄 minisat2_2.2.1.orig.tar.gz | 2012-04-19 02:11:29 | 43.19 KB |
| 📄 minisat_2.2.1-5_armhf.deb | 2014-08-13 05:11:44 | 75.9 KB |
| 📄 minisat_2.2.1-8_armhf.deb | 2024-05-17 19:48:24 | 75.49 KB |