jaapb 8d9c1678f2 Updated package lang/coq to version 8.7.1. ... This is a compatibility release with OCaml 4.06.0. It also contains many bugfixes, documentation improvements and user message improvements.		2018-01-10 16:26:53 +00:00
..
patch-Makefile.common	Updated lang/coq to version 8.7.0.	2017-11-03 11:20:28 +00:00