this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Radek Micek <radek.micek@gmail.com>"
3authors: "Radek Micek <radek.micek@gmail.com>"
4homepage: "https://github.com/radekm/ocaml-tptp"
5license: "MIT"
6build: [
7 ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
8 ["ocaml" "setup.ml" "-build"]
9 ["ocaml" "setup.ml" "-doc"] {with-doc}
10]
11install: ["ocaml" "setup.ml" "-install"]
12remove: ["ocamlfind" "remove" "tptp"]
13depends: [
14 "ocaml" {< "5.0.0"}
15 "ocamlfind"
16 "zarith"
17 "pprint"
18 "menhir"
19 "ocamlbuild" {build}
20]
21dev-repo: "git+https://github.com/radekm/ocaml-tptp"
22synopsis:
23 "Library for reading and writing FOF and CNF formulas in TPTP format"
24flags: light-uninstall
25url {
26 src: "https://github.com/radekm/ocaml-tptp/archive/0.3.2.tar.gz"
27 checksum: [
28 "sha256=2fe776415ffcbd7ba580b93df78bd17600a5354d56e349d10e6c45ac101c8ebb"
29 "md5=9e3bb9d827bfc22f7d55202b1e722cb4"
30 ]
31}