kris 2006-10-15 20:06:03 UTC
FreeBSD ports repository
Modified files:
math/proofgeneral Makefile
Log:
BROKEN: Incorrect pkg-plist
Approved by: portmgr (self)
Revision Changes Path
1.7 +2 -0 ports/math/proofgeneral/Makefile