coq-of-ocamlversion
Compile a subset of OCaml to Coq
| Tags | keyword:compilation keyword:ocaml logpath:OCaml |
|---|---|
| Author | Guillaume Claret |
| License | MIT |
| Published | |
| Homepage | https://github.com/formal-land/coq-of-ocaml |
| Issue Tracker | https://github.com/formal-land/coq-of-ocaml/issues |
| Maintainer | dev@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 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.3.0/opam |
No package is dependent
