CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 2023/01/08 13:34:48
Modified files:
lang/compcert : Makefile
Log message:
minor tweaks for compcert
- editing compcert.ini is no longer needed
- bump up the minimum coq version that compcert 3.12 would work with
with Volker Schlecht
