CVSROOT: /cvs Module name: ports Changes by: [email protected] 2021/02/13 10:46:38
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-Makefile patch-configure
Log message:
update to commit 25483cf1 for coq 8.12.2 and 8.13.0 support
