Johan van Selst 2b939d9dc2 Correct PORTVERSION: pl (patch level) releases follow a main release ... Reported by: erwin		2011-04-18 17:19:28 +00:00
..
files	- Update coq to 8.3pl1	2011-02-12 12:30:08 +00:00
distinfo	- Update coq to 8.3pl1	2011-02-12 12:30:08 +00:00
Makefile	Correct PORTVERSION: pl (patch level) releases follow a main release	2011-04-18 17:19:28 +00:00
pkg-descr
pkg-plist