CVS: cvs.openbsd.org: ports

Sun, 13 Aug 2023 08:38:11 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2023/08/13 09:38:01

Modified files:
        lang/compcert  : Makefile distinfo 
        lang/compcert/patches: patch-Makefile patch-configure 

Log message:
update to CompCert 3.13

Reply via email to