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/"

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" & < "2.0"}
  "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/releases/download/8.9.0+0.6.1/coq-serapi-8.9.0.0.6.1.tbz"
  checksum: [
    "sha256=136e0e4495616a0cb60b8e375b8fb7a93f6670ac31d1c13ba40454f7b6f4b671"
    "sha512=079b890f88e638a4aae336f9827c46a8fffb5ce7eb6dec55ca1a41fe6a414fc8208d2e024689337275b19e00797f0bb26810c4de3e81a101a6dece2b1552a04b"
  ]
}