jaapb 487d6ab2d3 Recursive revbump associated with update of lang/ocaml to 4.02.2.		2015-06-30 11:52:55 +00:00
..
patches	Updated coq to version 8.4pl6. Changes from previous version include (apart	2015-04-25 13:41:18 +00:00
DESCR
distinfo	Updated coq to version 8.4pl6. Changes from previous version include (apart	2015-04-25 13:41:18 +00:00
Makefile	Recursive revbump associated with update of lang/ocaml to 4.02.2.	2015-06-30 11:52:55 +00:00
MESSAGE
options.mk	Changed package dependencies to reflect lablgtk name change.	2014-10-10 08:39:08 +00:00
PLIST	Updated coq to version 8.4pl6. Changes from previous version include (apart	2015-04-25 13:41:18 +00:00