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.2.1.tar.gz
sha256=3185fe93e13ce05f409307f04f30de4cbbbdd644b85570f2ef629780b57af174
sha512=835ca0b5f464c602317dedf55c15ca7e4d0f99c88fdda925a595632fe8dc63f6c15e6f4a5578bd211d9fab4fae44d7e61235af786e30f8bb1b2454f55faa6269
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.2.1/opam
No package is dependent