CVSROOT: /cvs Module name: ports Changes by: [email protected] 2020/02/15 21:34:23
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-configure
lang/compcert/pkg: PLIST
Log message:
Update to commit 9b881b79 for coq 8.11.0 and ocaml 4.10 support.
