coq-serapi.opam

synopsis:     "Sexp-based serialization library and protocol for machine interaction with the Coq proof assistant"
description:  "Sexp-based serialization library and protocol for machine interaction with the Coq proof assistant"
name:         "coq-serapi"
opam-version: "2.0"
maintainer:   "e@x80.org"
authors:      "Emilio Jesús Gallego Arias"
homepage:     "https://github.com/ejgallego/coq-serapi"
bug-reports:  "https://github.com/ejgallego/coq-serapi/issues"
dev-repo:     "git+https://github.com/ejgallego/coq-serapi.git"
license:      "GPL 3"
doc:          "https://ejgallego.github.io/coq-serapi/"

depends: [
  "ocaml"               {           >= "4.07.0"            }
  "coq"                 { !pinned & >= "8.10.0" & < "8.11" }
  "cmdliner"            {           >= "1.0.0"             }
  "ocamlfind"           {           >= "1.8.0"             }
  "sexplib"             {           >= "v0.11.0"           }
  "dune"                { build   & >= "1.2.0"             }
  "ppx_import"          { build   & >= "1.5-3"             }
  "ppx_deriving"        { build   & >= "4.2.1"             }
  "ppx_sexp_conv"       { build   & >= "v0.11.0"           }
  "yojson"              {           >= "1.7.0"             }
  "ppx_deriving_yojson" {           >= "3.4"               }
]

build: [ "dune" "build" "-p" name "-j" jobs ]