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.5.tar.gz
sha256=1ea01f9fe9dcfb664dec3b0076bd9ae0d54bb9d79279b5351ab12cc32369b509

Description

Published: 06 Apr 2019

Dependencies (3)

  1. menhir >= "20180530" & <= "20181113"
  2. coq >= "8.9.0" & < "8.10"
  3. ocaml < "4.08.0"

Dev Dependencies

None

Used by

None

Conflicts

None