this repo has no description
anil.recoil.org
1opam-version: "2.0"
2authors: ["Jean-Christophe Filliatre"]
3maintainer: "Jean-Christophe Filliatre"
4homepage: "https://github.com/backtracking/ocaml-bdd"
5bug-reports: "https://github.com/backtracking/ocaml-bdd/issues"
6dev-repo: "git+https://github.com/backtracking/ocaml-bdd.git"
7license: "GPL-1.0-or-later"
8build: [
9 ["obuild" "configure"]
10 ["obuild" "build"]
11]
12remove: [
13 ["ocamlfind" "-remove" "bdd"]
14]
15depends: ["ocaml" {< "5.0.0"} "ocamlfind" "obuild"]
16install: ["obuild" "install"]
17synopsis:
18 "Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml"
19flags: light-uninstall
20url {
21 src: "https://www.lri.fr/~filliatr/ftp/ocaml/bdd/bdd-0.3.tar.gz"
22 checksum: [
23 "sha256=678e591c9b5ee7cd310589c433828c266204f7c260627aea5e5d12798ec9c3c0"
24 "md5=56834a743f15b1569712125660aa4af4"
25 ]
26}
27extra-source "bdd.obuild" {
28 src:
29 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/bdd/bdd.obuild"
30 checksum: [
31 "sha256=d2a69e669d7fb8a5440981917f23f8c9e02125d06a0977f0d063dd75d1e45c45"
32 "md5=a81106ac2a267b6d2c55058342519df4"
33 ]
34}