Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
minisat_2.2.1-3_i386.deb | 28-Jun-2012 15:22 | 128K | ||
minisat2_2.2.1-3_i386.deb | 28-Jun-2012 15:22 | 4.9K | ||
minisat_2.2.1-3_armel.deb | 28-Jun-2012 15:22 | 134K | ||
minisat2_2.2.1-3_armel.deb | 28-Jun-2012 15:22 | 4.9K | ||