|
mirror.unix-solutions.behosted by Unix-Solutions services: http, https, rsync |
|---|
Index of /raspbian/raspbian/pool/main/m/minisat+
| File | Last Modified | Size |
|---|---|---|
| 📂 Parent Directory | ||
| 📄 minisat+_1.0-4.debian.tar.xz | 2017-02-22 20:22:46 | 4.08 KB |
| 📄 minisat+_1.0-4.dsc | 2017-02-22 20:22:46 | 1.94 KB |
| 📄 minisat+_1.0-4_armhf.deb | 2017-06-22 22:08:04 | 117.21 KB |
| 📄 minisat+_1.0-5.debian.tar.xz | 2024-10-09 21:34:30 | 4.34 KB |
| 📄 minisat+_1.0-5.dsc | 2024-10-09 21:34:30 | 1.93 KB |
| 📄 minisat+_1.0-5_armhf.deb | 2024-10-12 10:08:02 | 104.43 KB |
| 📄 minisat+_1.0.orig.tar.gz | 2012-04-19 02:11:29 | 78.12 KB |