adam 75a9285105 Revbump after icu update		2017-04-22 21:03:07 +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	Revbump after icu update	2017-04-22 21:03:07 +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