You are viewing the staging branch of the website @ 884bba1, not the live version.

package coq-compcert

You can search for identifiers within the package.

in-package search v0.2.0

The CompCert C compiler

Install

Dune Dependency

compcert.inria.fr Edit opam file Versions (30)

Authors

Xavier Leroy

Maintainers

J

Jacques-Henri Jourdan <jacques-Henri.jourdan@normalesup.org>

Sources

md5=89c62f13cea4c2be7917aa04590e8c7d

Description

Published: 13 Jun 2018

Dependencies (3)

menhir >= "20161201" & < "20180530"
coq > "8.6.0" & < "8.8.1"
ocaml < "4.07.0"

Dev Dependencies

None

Used by (1)

coq-vst < "2.6"

Conflicts

None

On This Page

Description
Dependencies (3)
Dev Dependencies
Used by (1)
Conflicts