joerg edbc2fac64 Replace @exec/@unexec with @pkgdir or drop it.		2009-06-14 20:34:12 +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	Replace @exec/@unexec with @pkgdir or drop it.	2009-06-14 20:34:12 +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