CVS: cvs.openbsd.org: ports

Sat, 16 Sep 2023 20:45:15 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2023/09/16 21:45:05

Modified files:
        lang/compcert  : Makefile distinfo 

Log message:
update to CompCert 3.13.1

Reply via email to