johans 2009-03-16 09:42:38 UTC FreeBSD ports repository Modified files: math/coq pkg-plist Log: Fix pkg-plist Reported by: QAT Revision Changes Path 1.10 +1 -0 ports/math/coq/pkg-plist