package coq-compcert
The CompCert C compiler (64 bit)
Install
Dune Dependency
Authors
Maintainers
Sources
v3.17.tar.gz
sha256=671425695c92d6c3a44d9f0833a803a9fa6b9199675a0b10dfdc131a0e2abffa
sha512=812a86696c11f10144ed8d1a840a8cbc7e06e3f635f006a19765f10fd30a6d4479c82232b6da54a9285dc5c433aa26c1dd0a459831b3d2f5b5e4feae5130167d
Description
Tags
category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2026-02-13Published: 13 Feb 2026
Dependencies (4)
-
coq-menhirlib
>= "20200624" -
coq-flocq
>= "4.1.0" & < "5~" -
ocaml
>= "4.05.0" & < "5~" -
coq
>= "8.15.0" & < "9.2~"
Dev Dependencies (1)
-
menhir
>= "20200624" & != "20260122" & != "dev"
Used by (4)
- coq-vcfloat
-
coq-vst
>= "3.1beta" - coq-vst-lib
- coq-wasm
Conflicts
None
On This Page