| c | File Name | Size | T | Date |
|---|---|---|---|---|
| - | minisat+_1.0-5.debian.tar.xz | 4448 | xz | 2024-10-09 21:34:30 |
| - | minisat+_1.0-5.dsc | 1979 | dsc | 2024-10-09 21:34:30 |
| - | minisat+_1.0-5_amd64.deb | 149280 | deb | 2024-10-10 00:45:10 |
| - | minisat+_1.0-5_i386.deb | 147972 | deb | 2024-10-10 00:40:03 |
| - | minisat+_1.0.orig.tar.gz | 79990 | gz | 2011-05-14 12:02:24 |