ryoon b141232e29 Recursive revbump from textproc/icu		2015-10-10 01:57:50 +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 from textproc/icu	2015-10-10 01:57:50 +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