Index of /raspbian/pool/main/m/minisat2/

	Name	Last modified	Size
	Parent Directory		-
	minisat2_2.2.1-5.debian.tar.xz	2014-07-30 11:01	9.1K
	minisat2_2.2.1-5.dsc	2014-07-30 11:01	1.8K
	minisat2_2.2.1-5_armhf.deb	2014-08-13 06:11	4.9K
	minisat2_2.2.1-8.debian.tar.xz	2024-02-26 17:03	9.6K
	minisat2_2.2.1-8.dsc	2024-02-26 17:03	1.7K
	minisat2_2.2.1.orig.tar.gz	2012-04-19 03:11	43K
	minisat_2.2.1-5_armhf.deb	2014-08-13 06:11	76K
	minisat_2.2.1-8_armhf.deb	2024-05-17 20:48	75K