coq-of-ocaml

Compile OCaml to Coq

opam install coq-of-ocaml.1.1.1
homepage
https://github.com/clarus/coq-of-ocaml
license
MIT
bugs tracker
https://github.com/clarus/coq-of-ocaml/issues
dependencies
"conf-ruby" {build} "coq" {>= "8.4.5" & < "8.6"} "ocaml" {>= "4.02.0" & < "4.03.0"} "ocamlbuild" {build} "smart-print" "yojson"
source
https://github.com/clarus/coq-of-ocaml/archive/1.1.1.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-of-ocaml/coq-of-ocaml.1.1.1