package coq-compcert
The CompCert C compiler (64 bit)
Install
Dune Dependency
Authors
Maintainers
Sources
v3.16.tar.gz
sha256=78ebd29e0c7d37cede785850100722f1de21464059c5eda14a992c828c4b7d59
sha512=0e448e394a8ba4dbc84da6bb1d4635f39c98453971fb614ae57f364c1c3ef0677404a2bb02473d0a180181826cb324b2b9f5d95d1303f741a9d3b03afb354cf3
Description
Tags
category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2025-09-01Published: 08 Sep 2025
Dependencies (4)
-
coq-menhirlib
>= "20200624" -
coq-flocq
>= "4.1.0" & < "5~" -
ocaml
>= "4.05.0" & < "5~" -
coq
>= "8.15.0" & < "9.1~"
Dev Dependencies (1)
-
menhir
>= "20200624" & != "dev"
Used by (4)
- coq-vcfloat
-
coq-vst
>= "3.1beta" - coq-vst-lib
- coq-wasm
Conflicts
None
On This Page