CVS: cvs.openbsd.org: ports

Sat, 20 Nov 2021 18:10:31 -0800 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2021/11/20 19:10:17

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

Log message:
update to CompCert 3.10

Reply via email to