johans 2011-04-18 17:19:28 UTC FreeBSD ports repository Modified files: math/coq Makefile Log: Correct PORTVERSION: pl (patch level) releases follow a main release Reported by: erwin Revision Changes Path 1.28 +2 -1 ports/math/coq/Makefile