Index of /repository/devuan5/mainrepo-i386/mirror/deb.devuan.org/merged/pool/DEBIAN/main/m/minisat2

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat2_2.2.1-5+b3_..>	2017-03-07 13:27	5.1K
	minisat_2.2.1-5+b3_i..>	2017-03-07 13:27	91K