| Parent directory/ | - | - |
| minisat2_2.2.1-4_amd64.deb | 1896 | 2013-Jul-14 22:58 |
| minisat2_2.2.1-4_i386.deb | 1896 | 2013-Jul-14 22:58 |
| minisat2_2.2.1-5_amd64.deb | 1994 | 2014-Jul-30 18:38 |
| minisat2_2.2.1-5_i386.deb | 1996 | 2014-Jul-30 18:40 |
| minisat2_2.2.1-5build1_amd64.deb | 2032 | 2018-Apr-05 08:03 |
| minisat2_2.2.1-5build1_i386.deb | 2028 | 2018-Apr-05 08:04 |
| minisat2_2.2.1-5build2_amd64.deb | 2032 | 2020-Mar-22 18:00 |
| minisat_2.2.1-4_amd64.deb | 130944 | 2013-Jul-14 22:58 |
| minisat_2.2.1-4_i386.deb | 127298 | 2013-Jul-14 22:58 |
| minisat_2.2.1-5_amd64.deb | 82980 | 2014-Jul-30 18:38 |
| minisat_2.2.1-5_i386.deb | 97038 | 2014-Jul-30 18:40 |
| minisat_2.2.1-5build1_amd64.deb | 81816 | 2018-Apr-05 08:03 |
| minisat_2.2.1-5build1_i386.deb | 90692 | 2018-Apr-05 08:04 |
| minisat_2.2.1-5build2_amd64.deb | 81944 | 2020-Mar-22 18:00 |
| minisat_2.2.1-8build1_amd64.deb | 88062 | 2024-Apr-01 10:33 |