this repo has no description
anil.recoil.org
1opam-version: "2.0"
2homepage: "http://frenetic-lang.org"
3dev-repo: "git+https://github.com/frenetic-lang/ocaml-tdk.git"
4bug-reports: "https://github.com/frenetic-lang/ocaml-tdk/issues"
5maintainer: "Spiros Eliopoulos <seliopou@gmail.com>"
6authors: [ "Spiros Eliopoulos <seliopou@gmail.com>" ]
7license: "BSD-3-Clause"
8build: [
9 ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
10 ["ocaml" "setup.ml" "-build"]
11 ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
12 ["ocaml" "setup.ml" "-build"] {with-test}
13 ["ocaml" "setup.ml" "-test"] {with-test}
14 ["ocaml" "setup.ml" "-doc"] {with-doc}
15]
16install: ["ocaml" "setup.ml" "-install"]
17remove: [
18 ["ocamlfind" "remove" "tdk"]
19]
20depends: [
21 "ocaml" {>= "4.00.1" & < "5.0.0"}
22 "ocamlfind" {build}
23 "ounit" {with-test & >= "1.0.2"}
24 "ocamlbuild" {build}
25]
26synopsis:
27 "The Decision Kit is a collection of data structures that are useful"
28description: """
29for representing functions, relations, and other combinatorial
30objects. These data structures are based on various generalizations of
31reduced ordered binary decision diagrams."""
32flags: light-uninstall
33url {
34 src: "https://codeload.github.com/frenetic-lang/ocaml-tdk/tar.gz/0.2.0"
35 checksum: [
36 "sha256=c8020827bd27e94da2cefcb20e0a8cebc51b28a807216c6eaa9ffa17f59aa680"
37 "md5=38668a5eafcdf966ac1adaedfdfc59e5"
38 ]
39}