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

	Name	Last modified	Size

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

Apache Server at ftp.ports.debian.org Port 80