CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 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.