kris 2005-10-28 06:34:44 UTC FreeBSD ports repository Modified files: math/proofgeneral Makefile Log: BROKEN on amd64: Does not build Revision Changes Path 1.3 +4 -0 ports/math/proofgeneral/Makefile