CVS: cvs.openbsd.org: ports

Mon, 06 Apr 2020 10:27:27 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2020/04/06 11:27:01

Modified files:
        lang/compcert  : Makefile distinfo 

Log message:
Update to CompCert 3.7.

Reply via email to