CVSROOT: /cvs Module name: ports Changes by: [email protected] 2020/06/02 06:58:22
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-Makefile
Log message:
Update to commit 08491de0 for coq 8.11.1 support.
