CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/08/30 10:40:13
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-configure
Added files:
lang/compcert/patches: patch-VERSION
Log message:
update CompCert to 3.18
Most significantly, this release adds support for OCaml 5.x.
