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"
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.0-only"
doc:          "https://ejgallego.github.io/coq-serapi/doc"

depends: [
  "ocaml"         { >= "4.06.0"           }
  "coq"           { >= "8.9.0" & < "8.10" }
  "cmdliner"      { >= "1.0.0"            }
  "ocamlfind"     { >= "1.8.0"            }
  "sexplib"       { >= "v0.11.0" & < "v0.15" }
  "dune"          { >= "1.2.0"    }
  "ppx_import"    { build & >= "1.5-3"    }
  "ppx_deriving"  { build & >= "4.2.1"    }
  "ppx_sexp_conv" { build & >= "v0.11.0" & < "v0.15" }
]

build: [ "dune" "build" "-p" name "-j" jobs ]
url {
  src:
    "https://github.com/ejgallego/coq-serapi/archive/8.9.0+0.6.0.tar.gz"
  checksum: "md5=8b52f643a3c9019c551e0757e1b3b569"
}
