Index of /pool/main/m/minisat2

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat2_2.2.1-3_armhf.deb	2012-04-27 15:43	4.9K
	minisat2_2.2.1-5_armhf.deb	2014-08-13 05:11	4.9K
	minisat_2.2.1-3_armhf.deb	2012-04-27 15:43	126K
	minisat_2.2.1-5_armhf.deb	2014-08-13 05:11	76K