Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
29 lines (28 sloc) 769 Bytes
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"
"ocamlfind"
"zarith"
"pprint"
"menhir"
"ocamlbuild" {build}
]
dev-repo: "git://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: "md5=9e3bb9d827bfc22f7d55202b1e722cb4"
}
You can’t perform that action at this time.