Index of /mirror/debian-archive/pool/main/m/minisat2

	Name	Last modified	Size
	Parent Directory		-
	minisat2_2.2.0-2_ia64.deb	2010-07-26 04:56	160K
	minisat2_2.2.0-2_mips.deb	2010-07-27 20:11	112K
	minisat2_2.2.0-2_mipsel.deb	2010-07-26 11:21	110K
	minisat2_2.2.0-2_powerpc.deb	2010-07-26 16:59	110K
	minisat2_2.2.0-2_amd64.deb	2010-07-25 22:50	107K
	minisat2_2.2.0-2_sparc.deb	2010-07-26 10:40	107K
	minisat2_2.2.0-2_s390.deb	2010-07-26 12:51	106K
	minisat2_2.2.0-2_i386.deb	2010-07-26 08:52	106K
	minisat2_2.2.0-2_kfreebsd-amd64.deb	2010-07-29 22:58	106K
	minisat2_2.2.0-2_kfreebsd-i386.deb	2010-07-26 10:40	105K
	minisat2_2.2.0-2_armel.deb	2010-07-27 10:38	103K
	minisat2_070721-5_ia64.deb	2008-09-08 09:17	65K
	minisat2_070721-5_hppa.deb	2008-09-09 08:02	45K
	minisat2_070721-5_powerpc.deb	2008-09-10 20:47	43K
	minisat2_2.2.0.orig.tar.gz	2010-07-25 09:02	43K
	minisat2_070721-5_mipsel.deb	2008-09-10 20:32	43K
	minisat2_070721-5_mips.deb	2008-09-10 23:17	42K
	minisat2_070721-5_amd64.deb	2008-09-08 08:32	42K
	minisat2_070721-5_arm.deb	2008-09-09 23:17	42K
	minisat2_070721-5_s390.deb	2008-09-07 21:17	41K
	minisat2_070721-5_armel.deb	2008-09-08 14:02	41K
	minisat2_070721-5_alpha.deb	2008-09-10 21:02	40K
	minisat2_070721-5_i386.deb	2008-09-10 20:47	40K
	minisat2_070721-5_sparc.deb	2008-09-10 09:47	38K
	minisat2_070721.orig.tar.gz	2008-06-08 11:02	31K
	minisat2_2.2.0-2.debian.tar.gz	2010-07-25 22:50	9.6K
	minisat2_070721-5.diff.gz	2008-09-07 21:17	7.1K
	minisat2_2.2.0-2.dsc	2010-07-25 22:50	1.1K
	minisat2_070721-5.dsc	2008-09-07 21:17	964