coq-of-ocamlversion

Compile a subset of OCaml to Coq

Tags keyword:compilation keyword:ocaml logpath:OCaml
AuthorGuillaume Claret
LicenseMIT
Published
Homepagehttps://github.com/formal-land/coq-of-ocaml
Issue Trackerhttps://github.com/formal-land/coq-of-ocaml/issues
Maintainerdev@clarus.me
Dependencies
Optional dependencies
Conflicts
Source [http] https://github.com/formal-land/coq-of-ocaml/archive/2.3.0.tar.gz
sha256=889046cbfdc479b02aa9a97bcb6284df7539eba60e0f37f03c365e658445395d
sha512=eec30792f4ab93a4ce9f8b94880c6e44bd7bc11424e24258c20e06e414af10fc108435543976e9c962ed7bbf17384cfe3bcf9114c90aeb57f3e1e188716537fe
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.3.0/opam
No package is dependent