Jaap Boender 85481a68b8 Updated coq to version 8.11.0. ... This version hasn't been officially released yet (only a release on GitHub that doesn't compile with OCaml 4.10 at the moment) so I'm keeping it in wip for now.		2020-01-29 09:19:35 +01:00
..
patches	Updated coq to version 8.11.0.	2020-01-29 09:19:35 +01:00
DESCR	…
MESSAGE	…
Makefile	Updated coq to version 8.11.0.	2020-01-29 09:19:35 +01:00
PLIST	…
distinfo	Updated coq to version 8.11.0.	2020-01-29 09:19:35 +01:00
options.mk	…