| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| minisat2_2.2.1-5+b3_amd64.deb | 2017-Mar-07 14:27:08 | 5.1K | application/vnd.debian.binary-package |
| minisat2_2.2.1-5_amd64.deb | 2014-Jul-30 14:27:01 | 4.9K | application/vnd.debian.binary-package |
| minisat_2.2.1-5+b3_amd64.deb | 2017-Mar-07 14:27:08 | 82.9K | application/vnd.debian.binary-package |
| minisat_2.2.1-5_amd64.deb | 2014-Jul-30 14:27:01 | 83.5K | application/vnd.debian.binary-package |