opam-version: "2.0"
maintainer: "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}
]
remove: [["ocamlfind" "remove" "tptp"]]
depends: [
  "ocaml" {< "4.06.0"}
  "ocamlfind"
  "zarith"
  "pprint"
  "menhir"
  "ocamlbuild" {build}
]
install: ["ocaml" "setup.ml" "-install"]
synopsis:
  "Library for reading and writing FOF and CNF formulas in TPTP format"
flags: light-uninstall
url {
  src: "https://download.ocamlcore.org/tptp/tptp/0.3.1/tptp-0.3.1.tar.bz2"
  checksum: "md5=7eea0f20f5734f9f678c23d2a84ceb3c"
}
