package coq-compcert
The CompCert C compiler (64 bit)
Install
Dune Dependency
Authors
Maintainers
Sources
v3.18.tar.gz
sha256=564b312b3ed3162f02605f0108feb555bd28fe7a80b97ea269c546bcc60c1cf0
sha512=764ff4cea9e8504337610f8c922d3b18790601df92515e7bb56b90601469bf2af881819dba54d9d7c3bb1cea87887062925e1003ec07078be86c0376eb3b7cd5
Description
Tags
category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2026-08-31Published: 31 Aug 2026
Dependencies (4)
-
coq-menhirlib
>= "20200624" -
coq-flocq
>= "4.1.0" & < "5~" -
ocaml
>= "4.05.0" -
coq
>= "8.15.0" & < "9.3~"
Dev Dependencies (1)
-
menhir
>= "20200624" & != "20260122" & != "dev"
Used by (5)
- coq-vcfloat
-
coq-vst
>= "3.1beta" - coq-vst-lib
- coq-wasm
- rocq-certirocq
Conflicts
None
On This Page