CVS: cvs.openbsd.org: ports

[Daniel Dickman]

CVSROOT:        /cvs
Module name:    ports
Changes by:     dan...@cvs.openbsd.org  2021/04/29 23:51:44

Modified files:
        lang/compcert  : Makefile distinfo 

Log message:
update to commit d54fef19 for coq 8.13.2 support