CVS: cvs.openbsd.org: ports

Sat, 14 Nov 2020 19:03:22 -0800 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2020/11/14 20:02:19

Modified files:
        lang/compcert  : Makefile distinfo 
        lang/compcert/patches: patch-Makefile patch-configure 

Log message:
update to commit 27beb944

Reply via email to