wiz 20f7c989fe recursive bump for libxkbcommon removal from at-spi2-core		2017-11-23 17:19:40 +00:00
..
patches	Updated lang/coq to version 8.7.0.	2017-11-03 11:20:28 +00:00
DESCR
distinfo	Updated lang/coq to version 8.7.0.	2017-11-03 11:20:28 +00:00
Makefile	recursive bump for libxkbcommon removal from at-spi2-core	2017-11-23 17:19:40 +00:00
MESSAGE
options.mk	Changed package dependencies to reflect lablgtk name change.	2014-10-10 08:39:08 +00:00
PLIST	Updated lang/coq to version 8.7.0.	2017-11-03 11:20:28 +00:00