Index of /ubuntu/pool/universe/m/minisat2

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]minisat2_070721-3.diff.gz2008-06-20 11:07 3.8K
[   ]minisat2_070721-3.dsc2008-06-20 11:07 961
[   ]minisat2_070721-3_amd64.deb2008-06-20 13:04 38K
[   ]minisat2_070721-3_hppa.deb2008-07-05 05:04 41K
[   ]minisat2_070721-3_i386.deb2008-06-20 12:04 36K
[   ]minisat2_070721-3_ia64.deb2008-06-20 14:04 62K
[   ]minisat2_070721-3_lpia.deb2008-06-20 11:08 38K
[   ]minisat2_070721-3_powerpc.deb2008-06-20 13:04 40K
[   ]minisat2_070721-3_sparc.deb2008-06-20 17:04 35K
[   ]minisat2_070721-6.diff.gz2008-11-05 14:06 7.4K
[   ]minisat2_070721-6.dsc2008-11-05 14:06 964
[   ]minisat2_070721-6_amd64.deb2008-11-07 06:05 42K
[   ]minisat2_070721-6_armel.deb2008-12-05 17:04 41K
[   ]minisat2_070721-6_hppa.deb2008-11-10 15:05 45K
[   ]minisat2_070721-6_i386.deb2008-11-06 20:05 41K
[   ]minisat2_070721-6_ia64.deb2008-11-09 14:04 66K
[   ]minisat2_070721-6_lpia.deb2008-11-06 06:08 42K
[   ]minisat2_070721-6_powerpc.deb2008-11-07 06:06 44K
[   ]minisat2_070721-6_sparc.deb2008-11-08 06:06 39K
[   ]minisat2_070721-8.diff.gz2010-01-18 08:05 8.1K
[   ]minisat2_070721-8.dsc2010-01-18 08:05 1.0K
[   ]minisat2_070721-8_amd64.deb2010-01-18 16:05 95K
[   ]minisat2_070721-8_armel.deb2010-01-18 13:05 92K
[   ]minisat2_070721-8_i386.deb2010-01-18 13:05 93K
[   ]minisat2_070721-8_ia64.deb2010-01-19 00:04 144K
[   ]minisat2_070721-8_powerpc.deb2010-01-18 15:14 101K
[   ]minisat2_070721-8_sparc.deb2010-01-18 23:05 93K
[   ]minisat2_070721.orig.tar.gz2008-06-20 11:07 31K
[   ]minisat2_2.2.0-2.debian.tar.gz2010-10-15 13:06 9.6K
[   ]minisat2_2.2.0-2.dsc2010-10-15 13:06 1.1K
[   ]minisat2_2.2.0-2_amd64.deb2010-10-17 08:05 105K
[   ]minisat2_2.2.0-2_armel.deb2010-10-17 06:07 95K
[   ]minisat2_2.2.0-2_i386.deb2010-10-17 10:05 103K
[   ]minisat2_2.2.0-2_powerpc.deb2010-10-23 16:05 107K
[   ]minisat2_2.2.0.orig.tar.gz2010-10-15 13:06 43K
[   ]minisat2_2.2.1-2.debian.tar.gz2011-06-14 11:05 8.2K
[   ]minisat2_2.2.1-2.dsc2011-06-14 11:05 1.1K
[   ]minisat2_2.2.1-2_amd64.deb2011-06-14 13:05 1.9K
[   ]minisat2_2.2.1-2_armel.deb2011-06-14 12:05 1.9K
[   ]minisat2_2.2.1-2_i386.deb2011-06-14 12:05 1.9K
[   ]minisat2_2.2.1-2_powerpc.deb2011-06-14 20:05 1.9K
[   ]minisat2_2.2.1-3.debian.tar.gz2011-10-17 13:05 8.4K
[   ]minisat2_2.2.1-3.dsc2011-10-17 13:05 1.1K
[   ]minisat2_2.2.1-3_amd64.deb2011-10-18 03:03 1.8K
[   ]minisat2_2.2.1-3_armel.deb2011-10-19 13:05 3.0K
[   ]minisat2_2.2.1-3_armhf.deb2011-12-07 13:04 1.9K
[   ]minisat2_2.2.1-3_i386.deb2011-10-18 02:05 1.8K
[   ]minisat2_2.2.1-3_powerpc.deb2011-10-22 16:03 3.0K
[   ]minisat2_2.2.1-4.debian.tar.gz2013-07-14 22:43 9.2K
[   ]minisat2_2.2.1-4.dsc2013-07-14 22:43 1.8K
[   ]minisat2_2.2.1-4_amd64.deb2013-07-14 22:58 1.9K
[   ]minisat2_2.2.1-4_armhf.deb2013-07-14 22:58 1.9K
[   ]minisat2_2.2.1-4_i386.deb2013-07-14 22:58 1.9K
[   ]minisat2_2.2.1-4_powerpc.deb2013-07-14 23:13 1.9K
[   ]minisat2_2.2.1-5.debian.tar.xz2014-07-30 17:44 9.1K
[   ]minisat2_2.2.1-5.dsc2014-07-30 17:44 1.8K
[   ]minisat2_2.2.1-5_amd64.deb2014-07-30 18:38 1.9K
[   ]minisat2_2.2.1-5_arm64.deb2014-07-30 18:39 1.9K
[   ]minisat2_2.2.1-5_armhf.deb2014-07-30 17:45 1.9K
[   ]minisat2_2.2.1-5_i386.deb2014-07-30 18:40 1.9K
[   ]minisat2_2.2.1-5_powerpc.deb2014-07-30 18:40 2.0K
[   ]minisat2_2.2.1-5_ppc64el.deb2014-07-30 18:41 2.0K
[   ]minisat2_2.2.1-5_s390x.deb2018-06-13 09:43 1.9K
[   ]minisat2_2.2.1-5build1.debian.tar.xz2018-04-05 08:01 9.3K
[   ]minisat2_2.2.1-5build1.dsc2018-04-05 08:01 1.9K
[   ]minisat2_2.2.1-5build1_amd64.deb2018-04-05 08:03 2.0K
[   ]minisat2_2.2.1-5build1_arm64.deb2018-04-05 08:04 2.0K
[   ]minisat2_2.2.1-5build1_armhf.deb2018-04-05 08:04 2.0K
[   ]minisat2_2.2.1-5build1_i386.deb2018-04-05 08:04 2.0K
[   ]minisat2_2.2.1-5build1_ppc64el.deb2018-04-05 08:04 2.0K
[   ]minisat2_2.2.1-5build1_s390x.deb2018-04-05 08:04 2.0K
[   ]minisat2_2.2.1-5build2.debian.tar.xz2020-03-22 17:10 9.3K
[   ]minisat2_2.2.1-5build2.dsc2020-03-22 17:10 1.9K
[   ]minisat2_2.2.1-5build2_amd64.deb2020-03-22 18:00 2.0K
[   ]minisat2_2.2.1-5build2_arm64.deb2020-03-22 20:56 2.0K
[   ]minisat2_2.2.1-5build2_armhf.deb2020-03-22 20:56 2.0K
[   ]minisat2_2.2.1-5build2_ppc64el.deb2020-03-22 21:23 2.0K
[   ]minisat2_2.2.1-5build2_riscv64.deb2020-04-03 10:14 2.0K
[   ]minisat2_2.2.1-5build2_s390x.deb2020-03-22 20:31 2.0K
[   ]minisat2_2.2.1.orig.tar.gz2011-04-30 17:05 43K
[   ]minisat_2.2.1-2_amd64.deb2011-06-14 13:05 123K
[   ]minisat_2.2.1-2_armel.deb2011-06-14 12:05 114K
[   ]minisat_2.2.1-2_i386.deb2011-06-14 12:05 123K
[   ]minisat_2.2.1-2_powerpc.deb2011-06-14 20:05 128K
[   ]minisat_2.2.1-3_amd64.deb2011-10-18 03:03 124K
[   ]minisat_2.2.1-3_armel.deb2011-10-19 13:05 115K
[   ]minisat_2.2.1-3_armhf.deb2011-12-07 13:04 115K
[   ]minisat_2.2.1-3_i386.deb2011-10-18 02:05 124K
[   ]minisat_2.2.1-3_powerpc.deb2011-10-22 16:03 129K
[   ]minisat_2.2.1-4_amd64.deb2013-07-14 22:58 128K
[   ]minisat_2.2.1-4_armhf.deb2013-07-14 22:58 119K
[   ]minisat_2.2.1-4_i386.deb2013-07-14 22:58 124K
[   ]minisat_2.2.1-4_powerpc.deb2013-07-14 23:13 133K
[   ]minisat_2.2.1-5_amd64.deb2014-07-30 18:38 81K
[   ]minisat_2.2.1-5_arm64.deb2014-07-30 18:39 80K
[   ]minisat_2.2.1-5_armhf.deb2014-07-30 17:45 76K
[   ]minisat_2.2.1-5_i386.deb2014-07-30 18:40 95K
[   ]minisat_2.2.1-5_powerpc.deb2014-07-30 18:40 86K
[   ]minisat_2.2.1-5_ppc64el.deb2014-07-30 18:41 92K
[   ]minisat_2.2.1-5_s390x.deb2018-06-13 09:43 78K
[   ]minisat_2.2.1-5build1_amd64.deb2018-04-05 08:03 80K
[   ]minisat_2.2.1-5build1_arm64.deb2018-04-05 08:04 78K
[   ]minisat_2.2.1-5build1_armhf.deb2018-04-05 08:04 73K
[   ]minisat_2.2.1-5build1_i386.deb2018-04-05 08:04 89K
[   ]minisat_2.2.1-5build1_ppc64el.deb2018-04-05 08:04 99K
[   ]minisat_2.2.1-5build1_s390x.deb2018-04-05 08:04 77K
[   ]minisat_2.2.1-5build2_amd64.deb2020-03-22 18:00 80K
[   ]minisat_2.2.1-5build2_arm64.deb2020-03-22 20:56 77K
[   ]minisat_2.2.1-5build2_armhf.deb2020-03-22 20:56 74K
[   ]minisat_2.2.1-5build2_ppc64el.deb2020-03-22 21:23 89K
[   ]minisat_2.2.1-5build2_riscv64.deb2020-04-03 10:14 145K
[   ]minisat_2.2.1-5build2_s390x.deb2020-03-22 20:31 76K

Apache/2.4.29 (Ubuntu) Server at old-releases.ubuntu.com Port 80