coq-of-ocamlversion

Compile a subset of OCaml to Coq

Tags keyword:compilation keyword:OCaml logpath:CoqOfOCaml
AuthorGuillaume Claret
LicenseMIT
Published
Homepagehttps://github.com/foobar-land/coq-of-ocaml
Issue Trackerhttps://github.com/foobar-land/coq-of-ocaml/issues
Maintainerdev@clarus.me
Dependencies
Optional dependencies
Conflicts
Source [http] https://github.com/foobar-land/coq-of-ocaml/releases/download/2.5.2/coq-of-ocaml-full.2.5.2+4.13.tar.gz
sha256=9dfde155240061a70b803715609246d360605d887035070b160190e21f672dbd
sha512=259a034fdff6cc0ca4af935eb07ec4dac7916a199452bec2bccbf5b6e26f6dfbcbd33ba53dfe63d0fc64a9c04763129e76ff6d04ebd53bb24e378b96457651ec
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.5.2+4.13/opam
No package is dependent