coq-serapi

Serialization library and protocol for machine interaction with the Coq proof assistant

opam install coq-serapi.8.12.0+0.12.0
homepage
https://github.com/ejgallego/coq-serapi
license
GPL-3.0-or-later
bugs tracker
https://github.com/ejgallego/coq-serapi/issues
dependencies
"ocaml" {>= "4.07.0"} "coq" {>= "8.12.0" & < "8.13"} "cmdliner" {>= "1.0.0"} "ocamlfind" {>= "1.8.0"} "sexplib" {>= "v0.13.0"} "dune" {>= "2.0.1"} "ppx_import" {build & >= "1.5-3"} "ppx_deriving" {>= "4.2.1"} "ppx_sexp_conv" {>= "v0.13.0" & < "v0.14"} "yojson" {>= "1.7.0"} "ppx_deriving_yojson" {>= "3.4"}
source
https://github.com/ejgallego/coq-serapi/releases/download/8.12.0%2B0.12.0/coq-serapi-8.12.0.0.12.0.tbz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-serapi/coq-serapi.8.12.0+0.12.0