CVS: cvs.openbsd.org: ports

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2020/07/28 02:35:31


Modified files:
        lang/compcert  : Makefile distinfo 

Log message:
Update to commit 0132b8aa for improved builtin support.

Reply via email to