CVSROOT: /cvs Module name: ports Changes by: chr...@cvs.openbsd.org 2019/08/24 10:50:27
Modified files:
lang/compcert : Makefile
lang/compcert/patches: patch-configure
Log message:
Patch to configure against coq 8.10+beta2
ok daniel@
