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. M
    Matej Košík <matej.kosik@inria.fr>

Sources

v3.0.tar.gz
md5=8590239f6219f8bbc48c4e91f5d16921

Description

Published: 04 Apr 2017

Dependencies (3)

  1. menhir >= "20160303" & < "20180530"
  2. coq >= "8.5.2" & < "8.6~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None