wiz 7ac05101c6 Recursive bump for harfbuzz's new graphite2 dependency.		2017-02-06 13:54: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 bump for harfbuzz's new graphite2 dependency.	2017-02-06 13:54: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