coq-of-ocamlversion

Compile a subset of OCaml to Coq

Tags keyword:compilation keyword:OCaml logpath:CoqOfOCaml
AuthorGuillaume Claret
LicenseMIT
Published
Homepagehttps://github.com/foobar-land/coq-of-ocaml
Issue Trackerhttps://github.com/foobar-land/coq-of-ocaml/issues
Maintainerdev@clarus.me
Dependencies
Optional dependencies
Conflicts
Source [http] https://github.com/foobar-land/coq-of-ocaml/releases/download/2.5.2/coq-of-ocaml-full.2.5.2.tar.gz
sha256=55564be48ccbdb5b7bcaced6480365e099b8bd7193454b613a4398fd033247ac
sha512=712c9d594f6f045c127dd9883315286ad83268f7e627771b17437e167d5bbfd221fa79d071b1e77e04e80d219b820dfef14eb0494433e778c9ecfd52d131e665
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.5.2+4.12/opam
No package is dependent