ryoon 72c3cb198b Recursive revbump from fonts/harfbuzz		2017-02-12 06:24:36 +00:00
..
patches	Updated coq to latest version, 8.6. Changes include:	2016-12-30 13:23:06 +00:00
DESCR
distinfo	Updated coq to latest version, 8.6. Changes include:	2016-12-30 13:23:06 +00:00
Makefile	Recursive revbump from fonts/harfbuzz	2017-02-12 06:24:36 +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 latest version, 8.6. Changes include:	2016-12-30 13:23:06 +00:00