CVSROOT: /cvs Module name: ports Changes by: [email protected] 2020/11/16 21:13:18
Modified files:
lang/compcert : Makefile distinfo
Log message:
update to tagged release of 3.8
Adds coq 8.12.1 support along with the usual spate of improvements.
