package coq-compcert

  1. Overview
  2. No Docs
The CompCert C compiler

Install

Dune Dependency

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

Authors

  1. Xavier Leroy

Maintainers

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

Sources

v3.3.tar.gz
md5=89c62f13cea4c2be7917aa04590e8c7d

Description

Published: 13 Jun 2018

Dependencies (3)

  1. menhir >= "20161201" & < "20180530"
  2. coq > "8.6.0" & < "8.8.1"
  3. ocaml < "4.07.0"

Dev Dependencies

None

Used by (1)

  1. coq-vst < "2.6"

Conflicts

None