CVSROOT: /cvs Module name: ports Changes by: [email protected] 2023/01/07 06:11:42
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-Makefile patch-configure
Log message:
update to CompCert 3.12; from Volker Schlecht
