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

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