tonio 43bbfe4cea Bunp PKGREVISION, as it requires rebuild with ocaml 3.10.2 and cmalp5 5.08		2008-04-27 10:46:16 +00:00
..
patches	Update lang/coq to 8.1pl3	2008-01-12 11:48:39 +00:00
DESCR
distinfo	Update lang/coq to 8.1pl3	2008-01-12 11:48:39 +00:00
Makefile	Bunp PKGREVISION, as it requires rebuild with ocaml 3.10.2 and cmalp5 5.08	2008-04-27 10:46:16 +00:00
MESSAGE
PLIST	Convert to use PLIST_VARS instead of manually passing "@comment "	2008-04-12 22:42:57 +00:00
PLIST.opt	Bunp PKGREVISION, as it requires rebuild with ocaml 3.10.2 and cmalp5 5.08	2008-04-27 10:46:16 +00:00