| Parent directory/ | - | - |
| minisat_2.2.1-5build2_ppc64el.deb | 89.2 KiB | Sun, 22 March 2020 10:23:33 PM |
| minisat2_2.2.1-5build2_ppc64el.deb | 2.0 KiB | Sun, 22 March 2020 10:23:33 PM |
| minisat_2.2.1-5build2_armhf.deb | 73.5 KiB | Sun, 22 March 2020 09:56:30 PM |
| minisat2_2.2.1-5build2_armhf.deb | 2.0 KiB | Sun, 22 March 2020 09:56:30 PM |
| minisat2_2.2.1-5build2_arm64.deb | 2.0 KiB | Sun, 22 March 2020 09:56:14 PM |
| minisat_2.2.1-5build2_arm64.deb | 77.2 KiB | Sun, 22 March 2020 09:56:14 PM |
| minisat_2.2.1-5build2_amd64.deb | 80.0 KiB | Sun, 22 March 2020 07:00:18 PM |
| minisat2_2.2.1-5build2_amd64.deb | 2.0 KiB | Sun, 22 March 2020 07:00:18 PM |
| minisat2_2.2.1-5build2.dsc | 1.9 KiB | Sun, 22 March 2020 06:10:05 PM |
| minisat2_2.2.1-5build2.debian.tar.xz | 9.3 KiB | Sun, 22 March 2020 06:10:05 PM |
| minisat_2.2.1-5build1_i386.deb | 88.6 KiB | Thu, 5 April 2018 09:04:19 AM |
| minisat2_2.2.1-5build1_i386.deb | 2.0 KiB | Thu, 5 April 2018 09:04:19 AM |
| minisat_2.2.1-5build1_amd64.deb | 79.9 KiB | Thu, 5 April 2018 09:03:43 AM |
| minisat2_2.2.1-5build1_amd64.deb | 2.0 KiB | Thu, 5 April 2018 09:03:40 AM |
| minisat2_2.2.1-5build1.debian.tar.xz | 9.3 KiB | Thu, 5 April 2018 09:01:02 AM |
| minisat2_2.2.1-5build1.dsc | 1.9 KiB | Thu, 5 April 2018 09:01:02 AM |
| minisat_2.2.1-5_i386.deb | 94.8 KiB | Wed, 30 July 2014 07:40:07 PM |
| minisat2_2.2.1-5_i386.deb | 1.9 KiB | Wed, 30 July 2014 07:40:07 PM |
| minisat2_2.2.1-5_amd64.deb | 1.9 KiB | Wed, 30 July 2014 07:38:10 PM |
| minisat_2.2.1-5_amd64.deb | 81.0 KiB | Wed, 30 July 2014 07:38:10 PM |
| minisat2_2.2.1-5.debian.tar.xz | 9.1 KiB | Wed, 30 July 2014 06:44:51 PM |
| minisat2_2.2.1-5.dsc | 1.8 KiB | Wed, 30 July 2014 06:44:51 PM |
| minisat2_2.2.1.orig.tar.gz | 43.2 KiB | Sat, 30 April 2011 06:05:36 PM |