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.13.tar.gz
sha256=9163c752a30d310443e5d5677a96ebfbbdf08dfe0042fe1fee3402f9e7efb492
sha512=f3d1f84b3269035502c95967835c6baa8ec501127b2139e221f90ab2ca47b149c6f6c61f8ba50faef62d2076d03bb428cb775bcf13587b89bf85716445fe92a4
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.13/opam
No package is dependent