Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
minisat+_1.0-4build1.dsc | 2020-03-22 23:40 | 2.0K | ||
minisat+_1.0-4build1.debian.tar.xz | 2020-03-22 23:40 | 4.2K | ||
minisat+_1.0.orig.tar.gz | 2011-11-12 15:50 | 78K | ||
minisat+_1.0-4build1_amd64.deb | 2020-03-23 00:20 | 139K | ||