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. D
    dev@clarus.me

Sources

v2.6.tar.gz
md5=e28b613fb2c1d4ae60f03b1ce4cf9be6

Description

Published: 30 Jan 2016

Dependencies (3)

  1. menhir >= "20151110" & < "20180530"
  2. coq >= "8.4pl4" & < "8.5~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None