Skip to content

Updating CompCert to v3.8

Isaac Young requested to merge iswyoung/nonguix:master into master

This updates CompCert to the latest version and it is compatible with the current version of Coq in the Guix repositories.

Merge request reports