Index of /software/unix/Linux/debian-archive/debian/pool/main/m/minisat2

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