| Name ↑ | Last modified | Size | ||
|---|---|---|---|---|
| Parent Directory | - | - | ||
| minisat2_2.2.1-5+b3_amd64.deb | 07-Mar-2017 11:27 | 5.1 KiB | ||
| minisat2_2.2.1-5+b3_i386.deb | 07-Mar-2017 11:27 | 5.1 KiB | ||
| minisat2_2.2.1-5.debian.tar.xz | 30-Jul-2014 10:01 | 9.1 KiB | ||
| minisat2_2.2.1-5.dsc | 30-Jul-2014 10:01 | 1.8 KiB | ||
| minisat2_2.2.1-8.debian.tar.xz | 26-Feb-2024 17:03 | 9.6 KiB | ||
| minisat2_2.2.1-8.dsc | 26-Feb-2024 17:03 | 1.7 KiB | ||
| minisat2_2.2.1.orig.tar.gz | 29-Mar-2011 14:07 | 43 KiB | ||
| minisat_2.2.1-5+b3_amd64.deb | 07-Mar-2017 11:27 | 83 KiB | ||
| minisat_2.2.1-5+b3_i386.deb | 07-Mar-2017 11:27 | 91 KiB | ||
| minisat_2.2.1-8_amd64.deb | 26-Feb-2024 17:23 | 81 KiB | ||
| minisat_2.2.1-8_i386.deb | 26-Feb-2024 17:23 | 90 KiB | ||