Index of /macports/trunk/dports/math/minisat/files

	Name	Last modified	Size
	Parent Directory		-
	configure	2020-11-17 00:40	85
	patch-simp-Makefile.diff	2020-11-17 00:40	232
	patch-utils-System.cc.diff	2020-11-17 00:40	348
	patch-friend-declaration.diff	2020-11-17 00:40	917
	patch-mtl-template.mk.diff	2020-11-17 00:40	2.0K