Index of /Mirrors/archive.tanglu.org/tanglu/pool/main/m/minisat+

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat+_1.0.orig.tar.gz	2011-05-14 14:02	78K
	minisat+_1.0-2b1_i386.deb	2015-08-31 04:22	145K
	minisat+_1.0-2b1_amd64.deb	2015-09-02 22:23	147K
	minisat+_1.0-2b1.dsc	2015-08-30 21:23	1.9K
	minisat+_1.0-2b1.debian.tar.xz	2015-08-30 21:23	3.6K
	minisat+_1.0-2_i386.deb	2011-05-25 09:49	170K
	minisat+_1.0-2_amd64.deb	2011-05-25 03:50	176K
	minisat+_1.0-2.dsc	2011-05-25 03:50	1.2K
	minisat+_1.0-2.debian.tar.gz	2011-05-25 03:50	3.9K