CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2019/10/30 00:08:15

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

Log message:
support coq 8.10.1

Reply via email to