Index of /ubuntu-old-releases/ubuntu/pool/universe/m/minisat2/
../
minisat2_070721-3.diff.gz 20-Jun-2008 11:07 3887
minisat2_070721-3.dsc 20-Jun-2008 11:07 961
minisat2_070721-3_amd64.deb 20-Jun-2008 13:04 38894
minisat2_070721-3_hppa.deb 05-Jul-2008 05:04 41752
minisat2_070721-3_i386.deb 20-Jun-2008 12:04 37090
minisat2_070721-3_ia64.deb 20-Jun-2008 14:04 63074
minisat2_070721-3_lpia.deb 20-Jun-2008 11:08 38774
minisat2_070721-3_powerpc.deb 20-Jun-2008 13:04 40508
minisat2_070721-3_sparc.deb 20-Jun-2008 17:04 35556
minisat2_070721-6.diff.gz 05-Nov-2008 14:06 7599
minisat2_070721-6.dsc 05-Nov-2008 14:06 964
minisat2_070721-6_amd64.deb 07-Nov-2008 06:05 43478
minisat2_070721-6_armel.deb 05-Dec-2008 17:04 42204
minisat2_070721-6_hppa.deb 10-Nov-2008 15:05 46360
minisat2_070721-6_i386.deb 06-Nov-2008 20:05 41540
minisat2_070721-6_ia64.deb 09-Nov-2008 14:04 67550
minisat2_070721-6_lpia.deb 06-Nov-2008 06:08 43294
minisat2_070721-6_powerpc.deb 07-Nov-2008 06:06 45044
minisat2_070721-6_sparc.deb 08-Nov-2008 06:06 40192
minisat2_070721-8.diff.gz 18-Jan-2010 08:05 8260
minisat2_070721-8.dsc 18-Jan-2010 08:05 994
minisat2_070721-8_amd64.deb 18-Jan-2010 16:05 97674
minisat2_070721-8_armel.deb 18-Jan-2010 13:05 93934
minisat2_070721-8_i386.deb 18-Jan-2010 13:05 95606
minisat2_070721-8_ia64.deb 19-Jan-2010 00:04 147902
minisat2_070721-8_powerpc.deb 18-Jan-2010 15:14 103110
minisat2_070721-8_sparc.deb 18-Jan-2010 23:05 95186
minisat2_070721.orig.tar.gz 20-Jun-2008 11:07 31937
minisat2_2.2.0-2.debian.tar.gz 15-Oct-2010 13:06 9783
minisat2_2.2.0-2.dsc 15-Oct-2010 13:06 1110
minisat2_2.2.0-2_amd64.deb 17-Oct-2010 08:05 107534
minisat2_2.2.0-2_armel.deb 17-Oct-2010 06:07 97116
minisat2_2.2.0-2_i386.deb 17-Oct-2010 10:05 105938
minisat2_2.2.0-2_powerpc.deb 23-Oct-2010 16:05 109814
minisat2_2.2.0.orig.tar.gz 15-Oct-2010 13:06 43876
minisat2_2.2.1-2.debian.tar.gz 14-Jun-2011 11:05 8381
minisat2_2.2.1-2.dsc 14-Jun-2011 11:05 1135
minisat2_2.2.1-2_amd64.deb 14-Jun-2011 13:05 1928
minisat2_2.2.1-2_armel.deb 14-Jun-2011 12:05 1938
minisat2_2.2.1-2_i386.deb 14-Jun-2011 12:05 1930
minisat2_2.2.1-2_powerpc.deb 14-Jun-2011 20:05 1934
minisat2_2.2.1-3.debian.tar.gz 17-Oct-2011 13:05 8611
minisat2_2.2.1-3.dsc 17-Oct-2011 13:05 1135
minisat2_2.2.1-3_amd64.deb 18-Oct-2011 03:03 1894
minisat2_2.2.1-3_armel.deb 19-Oct-2011 13:05 3112
minisat2_2.2.1-3_armhf.deb 07-Dec-2011 13:04 1898
minisat2_2.2.1-3_i386.deb 18-Oct-2011 02:05 1892
minisat2_2.2.1-3_powerpc.deb 22-Oct-2011 16:03 3118
minisat2_2.2.1-4.debian.tar.gz 14-Jul-2013 22:43 9388
minisat2_2.2.1-4.dsc 14-Jul-2013 22:43 1879
minisat2_2.2.1-4_amd64.deb 14-Jul-2013 22:58 1896
minisat2_2.2.1-4_armhf.deb 14-Jul-2013 22:58 1898
minisat2_2.2.1-4_i386.deb 14-Jul-2013 22:58 1896
minisat2_2.2.1-4_powerpc.deb 14-Jul-2013 23:13 1898
minisat2_2.2.1-5.debian.tar.xz 30-Jul-2014 17:44 9348
minisat2_2.2.1-5.dsc 30-Jul-2014 17:44 1893
minisat2_2.2.1-5_amd64.deb 30-Jul-2014 18:38 1994
minisat2_2.2.1-5_arm64.deb 30-Jul-2014 18:39 1996
minisat2_2.2.1-5_armhf.deb 30-Jul-2014 17:45 1990
minisat2_2.2.1-5_i386.deb 30-Jul-2014 18:40 1996
minisat2_2.2.1-5_powerpc.deb 30-Jul-2014 18:40 2010
minisat2_2.2.1-5_ppc64el.deb 30-Jul-2014 18:41 1998
minisat2_2.2.1-5_s390x.deb 13-Jun-2018 09:43 1938
minisat2_2.2.1-5build1.debian.tar.xz 05-Apr-2018 08:01 9480
minisat2_2.2.1-5build1.dsc 05-Apr-2018 08:01 1982
minisat2_2.2.1-5build1_amd64.deb 05-Apr-2018 08:03 2032
minisat2_2.2.1-5build1_arm64.deb 05-Apr-2018 08:04 2028
minisat2_2.2.1-5build1_armhf.deb 05-Apr-2018 08:04 2028
minisat2_2.2.1-5build1_i386.deb 05-Apr-2018 08:04 2028
minisat2_2.2.1-5build1_ppc64el.deb 05-Apr-2018 08:04 2032
minisat2_2.2.1-5build1_s390x.deb 05-Apr-2018 08:04 2032
minisat2_2.2.1-5build2.debian.tar.xz 22-Mar-2020 17:10 9528
minisat2_2.2.1-5build2.dsc 22-Mar-2020 17:10 1978
minisat2_2.2.1-5build2_amd64.deb 22-Mar-2020 18:00 2032
minisat2_2.2.1-5build2_arm64.deb 22-Mar-2020 20:56 2032
minisat2_2.2.1-5build2_armhf.deb 22-Mar-2020 20:56 2032
minisat2_2.2.1-5build2_ppc64el.deb 22-Mar-2020 21:23 2032
minisat2_2.2.1-5build2_riscv64.deb 03-Apr-2020 10:14 2032
minisat2_2.2.1-5build2_s390x.deb 22-Mar-2020 20:31 2032
minisat2_2.2.1.orig.tar.gz 30-Apr-2011 17:05 44229
minisat_2.2.1-2_amd64.deb 14-Jun-2011 13:05 126088
minisat_2.2.1-2_armel.deb 14-Jun-2011 12:05 116784
minisat_2.2.1-2_i386.deb 14-Jun-2011 12:05 126182
minisat_2.2.1-2_powerpc.deb 14-Jun-2011 20:05 131382
minisat_2.2.1-3_amd64.deb 18-Oct-2011 03:03 126870
minisat_2.2.1-3_armel.deb 19-Oct-2011 13:05 117872
minisat_2.2.1-3_armhf.deb 07-Dec-2011 13:04 117858
minisat_2.2.1-3_i386.deb 18-Oct-2011 02:05 126954
minisat_2.2.1-3_powerpc.deb 22-Oct-2011 16:03 131986
minisat_2.2.1-4_amd64.deb 14-Jul-2013 22:58 130944
minisat_2.2.1-4_armhf.deb 14-Jul-2013 22:58 121796
minisat_2.2.1-4_i386.deb 14-Jul-2013 22:58 127298
minisat_2.2.1-4_powerpc.deb 14-Jul-2013 23:13 136498
minisat_2.2.1-5_amd64.deb 30-Jul-2014 18:38 82980
minisat_2.2.1-5_arm64.deb 30-Jul-2014 18:39 81576
minisat_2.2.1-5_armhf.deb 30-Jul-2014 17:45 77854
minisat_2.2.1-5_i386.deb 30-Jul-2014 18:40 97038
minisat_2.2.1-5_powerpc.deb 30-Jul-2014 18:40 88030
minisat_2.2.1-5_ppc64el.deb 30-Jul-2014 18:41 93924
minisat_2.2.1-5_s390x.deb 13-Jun-2018 09:43 79914
minisat_2.2.1-5build1_amd64.deb 05-Apr-2018 08:03 81816
minisat_2.2.1-5build1_arm64.deb 05-Apr-2018 08:04 80368
minisat_2.2.1-5build1_armhf.deb 05-Apr-2018 08:04 74992
minisat_2.2.1-5build1_i386.deb 05-Apr-2018 08:04 90692
minisat_2.2.1-5build1_ppc64el.deb 05-Apr-2018 08:04 101856
minisat_2.2.1-5build1_s390x.deb 05-Apr-2018 08:04 78988
minisat_2.2.1-5build2_amd64.deb 22-Mar-2020 18:00 81944
minisat_2.2.1-5build2_arm64.deb 22-Mar-2020 20:56 79060
minisat_2.2.1-5build2_armhf.deb 22-Mar-2020 20:56 75276
minisat_2.2.1-5build2_ppc64el.deb 22-Mar-2020 21:23 91312
minisat_2.2.1-5build2_riscv64.deb 03-Apr-2020 10:14 148104
minisat_2.2.1-5build2_s390x.deb 22-Mar-2020 20:31 78000