CVS: cvs.openbsd.org: ports

Sat, 07 Sep 2019 10:24:54 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2019/09/07 11:24:37

Modified files:
        lang/compcert  : Makefile distinfo 

Log message:
Update to commit d3eba507 for ocaml 4.08.1 support.

Reply via email to