package coq-compcert

  1. Overview
  2. No Docs
The CompCert C compiler (64 bit)

Install

Dune Dependency

Authors

Maintainers

Sources

v3.10.tar.gz
sha512=93687fb36cdfb247d47404c8d41d84ba96d006dd3a535646337a477fd5517c7487ff1d66e83bccceb47ba2d18b187c1bbdc55b2eff00373a8a120edfc80ef11a

Description

Dependencies (5)

  1. coq-menhirlib >= "20190626"
  2. coq-flocq >= "3.1.0" & < "4~"
  3. ocaml >= "4.05.0"
  4. menhir >= "20190626"
  5. coq >= "8.9.0" & < "8.16~"

Dev Dependencies

None

Used by (1)

  1. coq-vst >= "2.9" & < "2.10"

Conflicts

None