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