vs 2005-01-18 16:44:23 UTC FreeBSD ports repository Modified files: math/coq Makefile pkg-plist Log: Fix packaging PR: ports/75787 Submitted by: maintainer Revision Changes Path 1.5 +3 -1 ports/math/coq/Makefile 1.3 +4 -7 ports/math/coq/pkg-plist