You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
37 lines
663 B
37 lines
663 B
(lang dune 2.0)
|
|
|
|
(name bdd)
|
|
|
|
(license ISC)
|
|
|
|
(authors "Léo Andrès <contact@ndrs.fr>")
|
|
|
|
(maintainers "Léo Andrès <contact@ndrs.fr>")
|
|
|
|
(source
|
|
(uri git://git.zapashcanon.fr/zapashcanon/bdd.git))
|
|
|
|
(bug_reports https://git.zapashcanon.fr/zapashcanon/bdd/issues)
|
|
|
|
(homepage https://git.zapashcanon.fr/zapashcanon/bdd)
|
|
|
|
(documentation https://doc.zapashcanon.fr/bdd/)
|
|
|
|
(generate_opam_files true)
|
|
|
|
(package
|
|
(name bdd)
|
|
(synopsis "Binary decision diagram library")
|
|
(description
|
|
"bdd is an OCaml library for binary decision diagram. ")
|
|
(depends
|
|
(ocaml
|
|
(>= 4.05))
|
|
(dune
|
|
(>= 2.0))
|
|
(bisect_ppx
|
|
(>= 1.4))
|
|
(memo
|
|
(>= 0.0.1))
|
|
(hc
|
|
(>= 0.0.1))))
|
|
|