daniel 4abde328ef 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		2023-01-08 20:34:48 +00:00
..
patches	update to CompCert 3.12; from Volker Schlecht	2023-01-07 13:11:42 +00:00
pkg	drop RCS Ids	2022-03-11 19:28:46 +00:00
Makefile	minor tweaks for compcert	2023-01-08 20:34:48 +00:00
distinfo	update to CompCert 3.12; from Volker Schlecht	2023-01-07 13:11:42 +00:00