maya 33ebf687dc revbump for requiring ICU 59.x		2017-09-18 09:52:56 +00:00
..
patches	Updated coq to latest version, 8.6. Changes include:	2016-12-30 13:23:06 +00:00
DESCR
distinfo	Updated package to latest version, 8.6.1. Changes include:	2017-09-08 17:19:01 +00:00
Makefile	revbump for requiring ICU 59.x	2017-09-18 09:52:56 +00:00
MESSAGE
options.mk	Changed package dependencies to reflect lablgtk name change.	2014-10-10 08:39:08 +00:00
PLIST	Updated package to latest version, 8.6.1. Changes include:	2017-09-08 17:19:01 +00:00