CVS: cvs.openbsd.org: ports

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2021/03/10 08:00:53


Modified files:
        lang/compcert  : Makefile distinfo 

Log message:
update to commit 6bf310dd for coq 8.13.1 support

from Yozo Toda

Reply via email to