coq-of-ocamlversion

Compile a subset of OCaml to Coq

Tags keyword:compilation keyword:OCaml logpath:CoqOfOCaml
AuthorGuillaume Claret
LicenseMIT
Published
Homepagehttps://github.com/clarus/coq-of-ocaml
Issue Trackerhttps://github.com/clarus/coq-of-ocaml/issues
Maintainerdev@clarus.me
Dependencies
Optional dependencies
Conflicts
Source [http] https://github.com/clarus/coq-of-ocaml/releases/download/2.5.1/coq-of-ocaml-full.2.5.1.tar.gz
sha256=809eaf4d5d21f6169aefc8c1fe4eb366dc44cfbda26ea3671087cc455e4409c5
sha512=252f941e20fd7b0ede673fab647c8a60a28777d3de14ebaea38099efb9964ce1f717f8c516b6e48b322ed4cecf86578abdee62e7b48d044f805bf830986a00b8
StatisticsInstalled 19 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.5.1/opam
No package is dependent