CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 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