Version of CompCert compatible with 9.1? #574
Description
The version of compcert on opam (3.16) is only compatible with Rocq < 9.1~. Could a version compatible with Rocq 9.1 be released, tagged, and put on opam?
{{ message }}
The version of compcert on opam (3.16) is only compatible with Rocq < 9.1~. Could a version compatible with Rocq 9.1 be released, tagged, and put on opam?