jaapb f70dd873bb Revbump associated with ocaml-4.04.2		2017-07-11 14:19:18 +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 associated with ocaml-4.04.2	2017-07-11 14:19:18 +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