this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Spiros Eliopoulos <seliopou@gmail.com>"
3homepage: "https://github.com/frenetic-lang/ocaml-tdk"
4build: [
5 ["./configure"]
6 [make]
7]
8remove: [["ocamlfind" "remove" "tdk"]]
9depends: [
10 "ocaml" {>= "4.01.0" & < "5.0.0"}
11 "ocamlfind"
12 "ocamlbuild" {build}
13]
14dev-repo: "git+https://github.com/frenetic-lang/ocaml-tdk"
15install: [make "install"]
16synopsis: "tdk - The Decision Kit"
17description: """
18The Decision Kit is a collection of data structures that are useful for
19representing functions, relations, and other combinatorial objects. These data
20structures are based on various generalizations of reduced ordered binary
21decision diagrams."""
22flags: light-uninstall
23url {
24 src: "https://github.com/frenetic-lang/ocaml-tdk/archive/v0.1.1.tar.gz"
25 checksum: [
26 "sha256=d4add6bf4c099541c5381806718541153f645be9cadc4ae5278d3d991e31bdd7"
27 "md5=9e8405613bc75f717b88e4223cda5a67"
28 ]
29}