Index of /debian-ports/pool-sh4/main/m/minisat+

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat+_1.0-4_sh4.buildinfo	2017-02-23 12:03	4.0K
	minisat+_1.0-4_sh4.deb	2017-02-23 12:03	150K