File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat2_2.2.1-5+b3_mipsel.deb5.1 KiB2017-Mar-07 13:44
minisat_2.2.1-5+b3_mipsel.deb89.0 KiB2017-Mar-07 13:44
minisat_2.2.1-5+b3_armel.deb77.3 KiB2017-Mar-07 13:13
minisat2_2.2.1-5+b3_armel.deb5.1 KiB2017-Mar-07 13:13
minisat2_2.2.1-5+b3_mips64el.deb5.1 KiB2017-Mar-07 13:13
minisat_2.2.1-5+b3_mips64el.deb88.8 KiB2017-Mar-07 13:13
minisat_2.2.1-5+b3_armhf.deb76.0 KiB2017-Mar-07 12:57
minisat2_2.2.1-5+b3_armhf.deb5.1 KiB2017-Mar-07 12:57
minisat_2.2.1-5+b3_ppc64el.deb86.4 KiB2017-Mar-07 12:27
minisat2_2.2.1-5+b3_ppc64el.deb5.1 KiB2017-Mar-07 12:27
minisat2_2.2.1-5+b3_i386.deb5.1 KiB2017-Mar-07 12:27
minisat_2.2.1-5+b3_i386.deb91.2 KiB2017-Mar-07 12:27
minisat2_2.2.1-5+b3_s390x.deb5.1 KiB2017-Mar-07 12:27
minisat_2.2.1-5+b3_s390x.deb81.3 KiB2017-Mar-07 12:27
minisat2_2.2.1-5+b3_amd64.deb5.1 KiB2017-Mar-07 12:27
minisat_2.2.1-5+b3_amd64.deb82.9 KiB2017-Mar-07 12:27
minisat2_2.2.1-5+b3_mips.deb5.1 KiB2017-Mar-07 12:27
minisat_2.2.1-5+b3_mips.deb88.3 KiB2017-Mar-07 12:27
minisat2_2.2.1-5+b3_arm64.deb5.1 KiB2017-Mar-07 12:11
minisat_2.2.1-5+b3_arm64.deb80.0 KiB2017-Mar-07 12:11
minisat2_2.2.1-5+b1_s390x.deb5.2 KiB2014-Aug-27 01:00
minisat_2.2.1-5+b1_s390x.deb91.5 KiB2014-Aug-27 01:00
minisat_2.2.1-5_ppc64el.deb86.1 KiB2014-Aug-20 09:46
minisat2_2.2.1-5_ppc64el.deb4.9 KiB2014-Aug-20 09:46
minisat2_2.2.1-5_arm64.deb4.9 KiB2014-Aug-18 10:43
minisat_2.2.1-5_arm64.deb81.9 KiB2014-Aug-18 10:43
minisat2_2.2.1-5_mips.deb4.9 KiB2014-Jul-30 12:57
minisat_2.2.1-5_mips.deb84.9 KiB2014-Jul-30 12:57
minisat_2.2.1-5_armel.deb77.8 KiB2014-Jul-30 12:12
minisat2_2.2.1-5_armel.deb4.9 KiB2014-Jul-30 12:12
minisat_2.2.1-5_mipsel.deb84.8 KiB2014-Jul-30 12:12
minisat2_2.2.1-5_mipsel.deb4.9 KiB2014-Jul-30 12:12
minisat_2.2.1-5_kfreebsd-amd64.deb82.5 KiB2014-Jul-30 11:32
minisat2_2.2.1-5_kfreebsd-amd64.deb4.9 KiB2014-Jul-30 11:32
minisat_2.2.1-5_kfreebsd-i386.deb95.4 KiB2014-Jul-30 11:32
minisat2_2.2.1-5_kfreebsd-i386.deb4.9 KiB2014-Jul-30 11:32
minisat_2.2.1-5_armhf.deb78.1 KiB2014-Jul-30 11:27
minisat2_2.2.1-5_armhf.deb4.9 KiB2014-Jul-30 11:27
minisat2_2.2.1-5_amd64.deb4.9 KiB2014-Jul-30 11:27
minisat_2.2.1-5_amd64.deb83.6 KiB2014-Jul-30 11:27
minisat2_2.2.1-5_powerpc.deb4.9 KiB2014-Jul-30 11:27
minisat_2.2.1-5_powerpc.deb87.6 KiB2014-Jul-30 11:27
minisat_2.2.1-5_i386.deb96.3 KiB2014-Jul-30 11:01
minisat2_2.2.1-5_i386.deb4.9 KiB2014-Jul-30 11:01
minisat2_2.2.1-5.dsc1.8 KiB2014-Jul-30 11:01
minisat2_2.2.1-5.debian.tar.xz9.1 KiB2014-Jul-30 11:01
minisat_2.2.1-3_armhf.deb122.0 KiB2011-Nov-28 01:01
minisat2_2.2.1-3_armhf.deb4.9 KiB2011-Nov-28 01:01
minisat2_2.2.1-3_s390x.deb4.9 KiB2011-Nov-27 00:45
minisat_2.2.1-3_s390x.deb143.3 KiB2011-Nov-27 00:45
minisat_2.2.1-3_armel.deb125.1 KiB2011-Sep-04 02:33
minisat2_2.2.1-3_armel.deb4.9 KiB2011-Sep-04 02:33
minisat2_2.2.1-3_sparc.deb4.9 KiB2011-Sep-04 02:04
minisat_2.2.1-3_sparc.deb125.5 KiB2011-Sep-04 02:04
minisat_2.2.1-3_ia64.deb182.0 KiB2011-Sep-04 01:47
minisat2_2.2.1-3_ia64.deb4.9 KiB2011-Sep-04 01:47
minisat_2.2.1-3_powerpc.deb131.1 KiB2011-Sep-04 01:32
minisat2_2.2.1-3_powerpc.deb4.9 KiB2011-Sep-04 01:32
minisat_2.2.1-3_mipsel.deb131.9 KiB2011-Sep-04 01:32
minisat2_2.2.1-3_mipsel.deb4.9 KiB2011-Sep-04 01:32
minisat_2.2.1-3_kfreebsd-i386.deb125.0 KiB2011-Sep-04 01:32
minisat2_2.2.1-3_kfreebsd-i386.deb4.9 KiB2011-Sep-04 01:32
minisat2_2.2.1-3_mips.deb4.9 KiB2011-Sep-04 01:18
minisat_2.2.1-3_mips.deb132.1 KiB2011-Sep-04 01:18
minisat_2.2.1-3_kfreebsd-amd64.deb125.7 KiB2011-Sep-04 01:17
minisat2_2.2.1-3_kfreebsd-amd64.deb4.9 KiB2011-Sep-04 01:17
minisat_2.2.1-3_s390.deb129.9 KiB2011-Sep-04 01:03
minisat2_2.2.1-3_s390.deb4.9 KiB2011-Sep-04 01:03
minisat2_2.2.1-3_amd64.deb4.9 KiB2011-Sep-04 01:03
minisat_2.2.1-3_amd64.deb127.4 KiB2011-Sep-04 01:03
minisat_2.2.1-3_i386.deb126.1 KiB2011-Sep-04 00:34
minisat2_2.2.1-3.debian.tar.gz8.4 KiB2011-Sep-04 00:34
minisat2_2.2.1-3.dsc1.1 KiB2011-Sep-04 00:34
minisat2_2.2.1-3_i386.deb4.9 KiB2011-Sep-04 00:34
minisat2_2.2.1.orig.tar.gz43.2 KiB2011-Mar-29 15:07
minisat2_2.2.0-2_kfreebsd-amd64.deb105.6 KiB2010-Jul-29 21:58
minisat2_2.2.0-2_mips.deb111.8 KiB2010-Jul-27 19:11
minisat2_2.2.0-2_armel.deb102.6 KiB2010-Jul-27 09:38
minisat2_2.2.0-2_powerpc.deb110.1 KiB2010-Jul-26 15:59
minisat2_2.2.0-2_s390.deb106.5 KiB2010-Jul-26 11:51
minisat2_2.2.0-2_mipsel.deb110.5 KiB2010-Jul-26 10:21
minisat2_2.2.0-2_sparc.deb106.7 KiB2010-Jul-26 09:40
minisat2_2.2.0-2_kfreebsd-i386.deb105.0 KiB2010-Jul-26 09:40
minisat2_2.2.0-2_i386.deb105.8 KiB2010-Jul-26 07:52
minisat2_2.2.0-2_ia64.deb159.9 KiB2010-Jul-26 03:56
minisat2_2.2.0-2.debian.tar.gz9.6 KiB2010-Jul-25 21:50
minisat2_2.2.0-2_amd64.deb107.3 KiB2010-Jul-25 21:50
minisat2_2.2.0-2.dsc1.1 KiB2010-Jul-25 21:50
minisat2_2.2.0.orig.tar.gz42.8 KiB2010-Jul-25 08:02
minisat2_070721-5_mips.deb42.5 KiB2008-Sep-10 22:17
minisat2_070721-5_alpha.deb40.3 KiB2008-Sep-10 20:02
minisat2_070721-5_powerpc.deb43.3 KiB2008-Sep-10 19:47
minisat2_070721-5_i386.deb39.6 KiB2008-Sep-10 19:47
minisat2_070721-5_mipsel.deb42.5 KiB2008-Sep-10 19:32
minisat2_070721-5_sparc.deb38.2 KiB2008-Sep-10 08:47
minisat2_070721-5_arm.deb41.7 KiB2008-Sep-09 22:17
minisat2_070721-5_hppa.deb44.5 KiB2008-Sep-09 07:02
minisat2_070721-5_armel.deb41.0 KiB2008-Sep-08 13:02
minisat2_070721-5_ia64.deb65.0 KiB2008-Sep-08 08:17
minisat2_070721-5_amd64.deb41.8 KiB2008-Sep-08 07:32
minisat2_070721-5_s390.deb41.0 KiB2008-Sep-07 20:17
minisat2_070721-5.dsc964 B2008-Sep-07 20:17
minisat2_070721-5.diff.gz7.1 KiB2008-Sep-07 20:17
minisat2_070721.orig.tar.gz31.2 KiB2008-Jun-08 10:02