this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: """
3Implementation of ZDDs, as well as upward-closed and
4 downward-closed set families"""
5maintainer: ["Benoît Montagu <benoit.montagu@inria.fr>"]
6authors: ["Benoît Montagu <benoit.montagu@inria.fr>"]
7license: "LGPL-3.0-or-later"
8homepage: "https://gitlab.inria.fr/bmontagu/zdd"
9bug-reports: "https://gitlab.inria.fr/bmontagu/zdd/-/issues"
10depends: [
11 "dune" {>= "3.17"}
12 "ocaml" {>= "4.12"}
13 "odoc" {with-doc}
14]
15build: [
16 ["dune" "subst"] {dev}
17 [
18 "dune"
19 "build"
20 "-p"
21 name
22 "-j"
23 jobs
24 "@install"
25 "@runtest" {with-test}
26 "@doc" {with-doc}
27 ]
28]
29dev-repo: "git+https://gitlab.inria.fr/bmontagu/zdd"
30url {
31 src: "https://bmontagu.gitlabpages.inria.fr/zdd/releases/zdd-v0.5.tbz"
32 checksum: [
33 "sha256=c99d54dc54ce9ac7d31c3a42991fa90731d95a7401dfb69488ef30cdd6b9676d"
34 "sha512=6092931d8255304e228c35ff4d12cbebe1ae728cce27314903194973bb551d6a4af9030d2a986316e09fc0ec5588f0fcbd901581c091cfafdab1aef581272e0e"
35 ]
36}
37x-commit-hash: "eed8fcf061bac3f616ded34da510662083bca060"