Welcome to Capital Online Mirror Site

/debian-archive/debian/pool/main/m/minisat2/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
minisat2_070721.orig.tar.gz	31.2 KiB	2008-Jun-08 09:02
minisat2_070721-5.diff.gz	7.1 KiB	2008-Sep-07 19:17
minisat2_070721-5.dsc	964 B	2008-Sep-07 19:17
minisat2_070721-5_s390.deb	41.0 KiB	2008-Sep-07 19:17
minisat2_070721-5_amd64.deb	41.8 KiB	2008-Sep-08 06:32
minisat2_070721-5_ia64.deb	65.0 KiB	2008-Sep-08 07:17
minisat2_070721-5_armel.deb	41.0 KiB	2008-Sep-08 12:02
minisat2_070721-5_hppa.deb	44.5 KiB	2008-Sep-09 06:02
minisat2_070721-5_arm.deb	41.7 KiB	2008-Sep-09 21:17
minisat2_070721-5_sparc.deb	38.2 KiB	2008-Sep-10 07:47
minisat2_070721-5_mipsel.deb	42.5 KiB	2008-Sep-10 18:32
minisat2_070721-5_i386.deb	39.6 KiB	2008-Sep-10 18:47
minisat2_070721-5_powerpc.deb	43.3 KiB	2008-Sep-10 18:47
minisat2_070721-5_alpha.deb	40.3 KiB	2008-Sep-10 19:02
minisat2_070721-5_mips.deb	42.5 KiB	2008-Sep-10 21:17
minisat2_2.2.0.orig.tar.gz	42.8 KiB	2010-Jul-25 07:02
minisat2_2.2.0-2.debian.tar.gz	9.6 KiB	2010-Jul-25 20:50
minisat2_2.2.0-2.dsc	1.1 KiB	2010-Jul-25 20:50
minisat2_2.2.0-2_amd64.deb	107.3 KiB	2010-Jul-25 20:50
minisat2_2.2.0-2_ia64.deb	159.9 KiB	2010-Jul-26 02:56
minisat2_2.2.0-2_i386.deb	105.8 KiB	2010-Jul-26 06:52
minisat2_2.2.0-2_kfreebsd-i386.deb	105.0 KiB	2010-Jul-26 08:40
minisat2_2.2.0-2_sparc.deb	106.7 KiB	2010-Jul-26 08:40
minisat2_2.2.0-2_mipsel.deb	110.5 KiB	2010-Jul-26 09:21
minisat2_2.2.0-2_s390.deb	106.5 KiB	2010-Jul-26 10:51
minisat2_2.2.0-2_powerpc.deb	110.1 KiB	2010-Jul-26 14:59
minisat2_2.2.0-2_armel.deb	102.6 KiB	2010-Jul-27 08:38
minisat2_2.2.0-2_mips.deb	111.8 KiB	2010-Jul-27 18:11
minisat2_2.2.0-2_kfreebsd-amd64.deb	105.6 KiB	2010-Jul-29 20:58
minisat2_2.2.1.orig.tar.gz	43.2 KiB	2011-Mar-29 14:07
minisat_2.2.1-3_i386.deb	126.1 KiB	2011-Sep-03 23:34
minisat2_2.2.1-3.debian.tar.gz	8.4 KiB	2011-Sep-03 23:34
minisat2_2.2.1-3.dsc	1.1 KiB	2011-Sep-03 23:34
minisat2_2.2.1-3_i386.deb	4.9 KiB	2011-Sep-03 23:34
minisat_2.2.1-3_amd64.deb	127.4 KiB	2011-Sep-04 00:03
minisat2_2.2.1-3_amd64.deb	4.9 KiB	2011-Sep-04 00:03
minisat2_2.2.1-3_s390.deb	4.9 KiB	2011-Sep-04 00:03
minisat_2.2.1-3_s390.deb	129.9 KiB	2011-Sep-04 00:03
minisat_2.2.1-3_kfreebsd-amd64.deb	125.7 KiB	2011-Sep-04 00:17
minisat2_2.2.1-3_kfreebsd-amd64.deb	4.9 KiB	2011-Sep-04 00:17
minisat_2.2.1-3_mips.deb	132.1 KiB	2011-Sep-04 00:18
minisat2_2.2.1-3_mips.deb	4.9 KiB	2011-Sep-04 00:18
minisat_2.2.1-3_kfreebsd-i386.deb	125.0 KiB	2011-Sep-04 00:32
minisat2_2.2.1-3_kfreebsd-i386.deb	4.9 KiB	2011-Sep-04 00:32
minisat_2.2.1-3_mipsel.deb	131.9 KiB	2011-Sep-04 00:32
minisat2_2.2.1-3_mipsel.deb	4.9 KiB	2011-Sep-04 00:32
minisat2_2.2.1-3_powerpc.deb	4.9 KiB	2011-Sep-04 00:32
minisat_2.2.1-3_powerpc.deb	131.1 KiB	2011-Sep-04 00:32
minisat_2.2.1-3_ia64.deb	182.0 KiB	2011-Sep-04 00:47
minisat2_2.2.1-3_ia64.deb	4.9 KiB	2011-Sep-04 00:47
minisat2_2.2.1-3_sparc.deb	4.9 KiB	2011-Sep-04 01:04
minisat_2.2.1-3_sparc.deb	125.5 KiB	2011-Sep-04 01:04
minisat_2.2.1-3_armel.deb	125.1 KiB	2011-Sep-04 01:33
minisat2_2.2.1-3_armel.deb	4.9 KiB	2011-Sep-04 01:33
minisat2_2.2.1-3_s390x.deb	4.9 KiB	2011-Nov-26 23:45
minisat_2.2.1-3_s390x.deb	143.3 KiB	2011-Nov-26 23:45
minisat_2.2.1-3_armhf.deb	122.0 KiB	2011-Nov-28 00:01
minisat2_2.2.1-3_armhf.deb	4.9 KiB	2011-Nov-28 00:01
minisat2_2.2.1-5.debian.tar.xz	9.1 KiB	2014-Jul-30 10:01
minisat_2.2.1-5_i386.deb	96.3 KiB	2014-Jul-30 10:01
minisat2_2.2.1-5.dsc	1.8 KiB	2014-Jul-30 10:01
minisat2_2.2.1-5_i386.deb	4.9 KiB	2014-Jul-30 10:01
minisat2_2.2.1-5_powerpc.deb	4.9 KiB	2014-Jul-30 10:27
minisat_2.2.1-5_powerpc.deb	87.6 KiB	2014-Jul-30 10:27
minisat_2.2.1-5_amd64.deb	83.6 KiB	2014-Jul-30 10:27
minisat2_2.2.1-5_amd64.deb	4.9 KiB	2014-Jul-30 10:27
minisat_2.2.1-5_armhf.deb	78.1 KiB	2014-Jul-30 10:27
minisat2_2.2.1-5_armhf.deb	4.9 KiB	2014-Jul-30 10:27
minisat2_2.2.1-5_kfreebsd-i386.deb	4.9 KiB	2014-Jul-30 10:32
minisat_2.2.1-5_kfreebsd-i386.deb	95.4 KiB	2014-Jul-30 10:32
minisat2_2.2.1-5_kfreebsd-amd64.deb	4.9 KiB	2014-Jul-30 10:32
minisat_2.2.1-5_kfreebsd-amd64.deb	82.5 KiB	2014-Jul-30 10:32
minisat2_2.2.1-5_mipsel.deb	4.9 KiB	2014-Jul-30 11:12
minisat_2.2.1-5_mipsel.deb	84.8 KiB	2014-Jul-30 11:12
minisat_2.2.1-5_armel.deb	77.8 KiB	2014-Jul-30 11:12
minisat2_2.2.1-5_armel.deb	4.9 KiB	2014-Jul-30 11:12
minisat2_2.2.1-5_mips.deb	4.9 KiB	2014-Jul-30 11:57
minisat_2.2.1-5_mips.deb	84.9 KiB	2014-Jul-30 11:57
minisat_2.2.1-5_arm64.deb	81.9 KiB	2014-Aug-18 09:43
minisat2_2.2.1-5_arm64.deb	4.9 KiB	2014-Aug-18 09:43
minisat2_2.2.1-5_ppc64el.deb	4.9 KiB	2014-Aug-20 08:46
minisat_2.2.1-5_ppc64el.deb	86.1 KiB	2014-Aug-20 08:46
minisat_2.2.1-5+b1_s390x.deb	91.5 KiB	2014-Aug-27 00:00
minisat2_2.2.1-5+b1_s390x.deb	5.2 KiB	2014-Aug-27 00:00
minisat2_2.2.1-5+b3_arm64.deb	5.1 KiB	2017-Mar-07 11:11
minisat_2.2.1-5+b3_arm64.deb	80.0 KiB	2017-Mar-07 11:11
minisat2_2.2.1-5+b3_mips.deb	5.1 KiB	2017-Mar-07 11:27
minisat_2.2.1-5+b3_mips.deb	88.3 KiB	2017-Mar-07 11:27
minisat2_2.2.1-5+b3_amd64.deb	5.1 KiB	2017-Mar-07 11:27
minisat_2.2.1-5+b3_amd64.deb	82.9 KiB	2017-Mar-07 11:27
minisat2_2.2.1-5+b3_s390x.deb	5.1 KiB	2017-Mar-07 11:27
minisat_2.2.1-5+b3_s390x.deb	81.3 KiB	2017-Mar-07 11:27
minisat2_2.2.1-5+b3_i386.deb	5.1 KiB	2017-Mar-07 11:27
minisat_2.2.1-5+b3_i386.deb	91.2 KiB	2017-Mar-07 11:27
minisat2_2.2.1-5+b3_ppc64el.deb	5.1 KiB	2017-Mar-07 11:27
minisat_2.2.1-5+b3_ppc64el.deb	86.4 KiB	2017-Mar-07 11:27
minisat2_2.2.1-5+b3_armhf.deb	5.1 KiB	2017-Mar-07 11:57
minisat_2.2.1-5+b3_armhf.deb	76.0 KiB	2017-Mar-07 11:57
minisat2_2.2.1-5+b3_mips64el.deb	5.1 KiB	2017-Mar-07 12:13
minisat_2.2.1-5+b3_mips64el.deb	88.8 KiB	2017-Mar-07 12:13
minisat2_2.2.1-5+b3_armel.deb	5.1 KiB	2017-Mar-07 12:13
minisat_2.2.1-5+b3_armel.deb	77.3 KiB	2017-Mar-07 12:13
minisat2_2.2.1-5+b3_mipsel.deb	5.1 KiB	2017-Mar-07 12:44
minisat_2.2.1-5+b3_mipsel.deb	89.0 KiB	2017-Mar-07 12:44

Powered By Capital Online Data Service LTD.  About US  Contact US