CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 2019/09/20 05:32:16
Modified files: lang/compcert : Makefile distinfo lang/compcert/patches: patch-configure Log message: Update to CompCert 3.6.
CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 2019/09/20 05:32:16
Modified files: lang/compcert : Makefile distinfo lang/compcert/patches: patch-configure Log message: Update to CompCert 3.6.