coq-of-ocamlversion

Compile a subset of OCaml to Coq

Tags keyword:compilation keyword:OCaml logpath:CoqOfOCaml
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/releases/download/2.5.3/coq-of-ocaml-full.2.5.3+4.14.tar.gz
sha256=1c6d414ae8e4babfd79f82cb667cdaaf11b4c3b76dc83de4c23f6ee8ec6affff
sha512=4b017b5892ef0c665a5ff5da292ec5cbdd1a103dfb7193553b78d25693787acd359a30028c335b300883d555786d3787258fe7a57d63cd53b94edc6b40e8ffbe
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.14/opam
No package is dependent