this repo has no description
anil.recoil.org
1opam-version: "2.0"
2build: [
3 ["dune" "subst"] {dev}
4 ["dune" "build" "-p" name "-j" jobs]
5 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
6 ["dune" "build" "-p" name "@doc"] {with-doc}
7]
8maintainer: ["Steffen Smolka <smolka@cs.cornell.edu>"]
9authors: ["Steffen Smolka <smolka@cs.cornell.edu>"]
10bug-reports: "https://github.com/netkat-lang/idds/issues"
11homepage: "https://github.com/netkat-lang/idds"
12doc: "https://netkat-lang.github.io/idds/"
13license: "MIT"
14dev-repo: "git+https://github.com/netkat-lang/idds.git"
15synopsis: "Identity-suppressed decision diagrams (IDDs)"
16description: "BDD and IDD implementation with hash-consing"
17depends: [
18 "ocaml" {>= "4.04.0"}
19 "dune" {>= "1.10"}
20 "base" {>= "v0.12.0"}
21 "odoc" {with-doc}
22 "open" {> "0"}
23 "ppx_deriving" {>= "4.3"}
24 "ppx_inline_test" {with-test & >= "v0.12.0"}
25 "ppx_jane" {>= "v0.12.0"}
26]
27url {
28 src:
29 "https://github.com/netkat-lang/idds/releases/download/0.2/idds-0.2.tbz"
30 checksum: [
31 "sha256=0cb7c160cb45957dfd2603ca6d10dab80fef51d60e47b9d7a5a8b7970d30ac39"
32 "sha512=eddfd447f4ddac7873f762efd3cffb4987d06a44e21f765982673549da4a5771a101d98294267fb3fec458e0eccafc9ba05d9a715034307fc23b199a4c783deb"
33 ]
34}