Directory: /debian/pool/main/m/minisat%2B/
| Name | Size | Modified |
|---|---|---|
| Parent directory | — | — |
| minisat+_1.0-4.debian.tar.xz | 4.08K | Thu Feb 23 2017 |
| minisat+_1.0-4.dsc | 1.94K | Thu Feb 23 2017 |
| minisat+_1.0-4_amd64.deb | 155K | Thu Feb 23 2017 |
| minisat+_1.0-4_i386.deb | 157K | Thu Feb 23 2017 |
| minisat+_1.0-5.debian.tar.xz | 4.35K | Thu Oct 10 2024 |
| minisat+_1.0-5.dsc | 1.94K | Thu Oct 10 2024 |
| minisat+_1.0-5_amd64.deb | 146K | Thu Oct 10 2024 |
| minisat+_1.0-5_i386.deb | 145K | Thu Oct 10 2024 |
| minisat+_1.0.orig.tar.gz | 78.2K | Sat May 14 2011 |