coq-coqffi

• 1.0.0~beta1
• 1.0.0~beta2
• 1.0.0~beta3
• 1.0.0~beta4
• 1.0.0~beta5

Tool for generating Coq FFI bindings to OCaml libraries

opam install coq-coqffi.1.0.0~beta1

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-beta1.tar.gz

package

https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-coqffi/coq-coqffi.1.0.0~beta1