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.4.tar.gz
md5=122b717e2c48c1a8fe36c89ec5a1050d

Description

Published: 23 Mar 2019

Dependencies (3)

  1. menhir >= "20180530" & < "20181006"
  2. coq >= "8.8.1" & <= "8.8.2"
  3. ocaml < "4.08"

Dev Dependencies

None

Used by

None

Conflicts

None