| minisat2_2.2.1-4.debian.tar.gz | 9.17 KB | 07/14/2013, 22:43:24 |
| minisat2_2.2.1-4.dsc | 1.83 KB | 07/14/2013, 22:43:24 |
| minisat2_2.2.1-4_amd64.deb | 1.85 KB | 07/14/2013, 22:58:22 |
| minisat2_2.2.1-4_i386.deb | 1.85 KB | 07/14/2013, 22:58:24 |
| minisat2_2.2.1-5.debian.tar.xz | 9.13 KB | 07/30/2014, 17:44:51 |
| minisat2_2.2.1-5.dsc | 1.85 KB | 07/30/2014, 17:44:51 |
| minisat2_2.2.1-5_amd64.deb | 1.95 KB | 07/30/2014, 18:38:10 |
| minisat2_2.2.1-5_i386.deb | 1.95 KB | 07/30/2014, 18:40:07 |
| minisat2_2.2.1-5build1.debian.tar.xz | 9.26 KB | 04/05/2018, 08:01:02 |
| minisat2_2.2.1-5build1.dsc | 1.94 KB | 04/05/2018, 08:01:02 |
| minisat2_2.2.1-5build1_amd64.deb | 1.98 KB | 04/05/2018, 08:03:40 |
| minisat2_2.2.1-5build1_i386.deb | 1.98 KB | 04/05/2018, 08:04:19 |
| minisat2_2.2.1-5build2.debian.tar.xz | 9.30 KB | 03/22/2020, 17:10:05 |
| minisat2_2.2.1-5build2.dsc | 1.93 KB | 03/22/2020, 17:10:05 |
| minisat2_2.2.1-5build2_amd64.deb | 1.98 KB | 03/22/2020, 18:00:18 |
| minisat2_2.2.1-8build1.debian.tar.xz | 9.74 KB | 04/01/2024, 08:00:52 |
| minisat2_2.2.1-8build1.dsc | 1.77 KB | 04/01/2024, 08:00:52 |
| minisat2_2.2.1.orig.tar.gz | 43.19 KB | 04/30/2011, 17:05:36 |
| minisat_2.2.1-4_amd64.deb | 127.88 KB | 07/14/2013, 22:58:23 |
| minisat_2.2.1-4_i386.deb | 124.31 KB | 07/14/2013, 22:58:25 |
| minisat_2.2.1-5_amd64.deb | 81.04 KB | 07/30/2014, 18:38:10 |
| minisat_2.2.1-5_i386.deb | 94.76 KB | 07/30/2014, 18:40:07 |
| minisat_2.2.1-5build1_amd64.deb | 79.90 KB | 04/05/2018, 08:03:43 |
| minisat_2.2.1-5build1_i386.deb | 88.57 KB | 04/05/2018, 08:04:19 |
| minisat_2.2.1-5build2_amd64.deb | 80.02 KB | 03/22/2020, 18:00:18 |
| minisat_2.2.1-8build1_amd64.deb | 86.00 KB | 04/01/2024, 10:33:43 |
