opam-version: "2.0"
maintainer: "Radek Micek <radek.micek@gmail.com>"
authors: "Radek Micek <radek.micek@gmail.com>"
homepage: "https://github.com/radekm/ocaml-tptp"
license: "MIT"
build: [
  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
  ["ocaml" "setup.ml" "-build"]
  ["ocaml" "setup.ml" "-doc"] {with-doc}
]
install: ["ocaml" "setup.ml" "-install"]
remove: ["ocamlfind" "remove" "tptp"]
depends: [
  "ocaml" {< "5.0.0"}
  "ocamlfind"
  "zarith"
  "pprint"
  "menhir"
  "ocamlbuild" {build}
]
dev-repo: "git+https://github.com/radekm/ocaml-tptp"
synopsis:
  "Library for reading and writing FOF and CNF formulas in TPTP format"
flags: light-uninstall
url {
  src: "https://github.com/radekm/ocaml-tptp/archive/0.3.2.tar.gz"
  checksum: [
    "sha256=2fe776415ffcbd7ba580b93df78bd17600a5354d56e349d10e6c45ac101c8ebb"
    "md5=9e3bb9d827bfc22f7d55202b1e722cb4"
  ]
}