CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/08/17 19:15:12
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-Makefile patch-configure
Log message:
Update to latest git commit to add support for ocaml 4.08 and coq 8.10.
This should allow chrisz@ to move forward with updates of those ports.
