jaapb e033a835ab Updated lang/coq to version 8.7.0. ... Includes many improvements and bugfixes (none that seem to be breaking backwards compatibility though), see the CHANGELOG. For packaging: - camlp4 support removed, package now uses camlp5 exclusively - fix for PR pkg/52651		2017-11-03 11:20:28 +00:00
..
patch-configure.ml	Updated coq to latest version, 8.6. Changes include:	2016-12-30 13:23:06 +00:00
patch-ide_ideutils.ml	Updated lang/coq to version 8.7.0.	2017-11-03 11:20:28 +00:00
patch-Makefile.common	Updated lang/coq to version 8.7.0.	2017-11-03 11:20:28 +00:00