coq-coqffi

Tool for generating Coq FFI bindings to OCaml libraries

opam install coq-coqffi.1.0.0~beta2
homepage
https://github.com/coq-community/coqffi
license
MIT
bugs tracker
https://github.com/coq-community/coqffi/issues
dependencies
"ocaml" {>= "4.08" & < "4.12~"} "dune" {>= "2.5"} "coq" {(>= "8.12" & < "8.13~") | (= "dev")} "cmdliner" {>= "1.0.4"}
source
https://github.com/coq-community/coqffi/archive/1.0.0-beta2.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-coqffi/coq-coqffi.1.0.0~beta2