this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Bindings for RSDD"
4description:
5 "OCaml bindings for the Rust Decision Diagram (RSDD) library, generated with ocaml-rs."
6maintainer: ["Matt Wang <mxw@cs.washington.edu>"]
7authors: [
8 "Steven Holtzen <s.holtzen@northeastern.edu>"
9 "Matt Wang <mxw@cs.washington.edu>"
10]
11license: "MIT"
12homepage: "https://github.com/neuppl/rsdd-ocaml"
13bug-reports: "https://github.com/neuppl/rsdd-ocaml/issues"
14depends: [
15 "ocaml" {>= "4.08.0" & < "5"}
16 "dune" {>= "2.7"}
17 "conf-rust-2021"
18 "odoc" {with-doc}
19]
20build: [
21 ["dune" "subst"] {dev}
22 [
23 "dune"
24 "build"
25 "-p"
26 name
27 "-j"
28 jobs
29 "@install"
30 "@runtest" {with-test}
31 "@doc" {with-doc}
32 ]
33]
34dev-repo: "git+https://github.com/neuppl/rsdd-ocaml.git"
35url {
36 src: "https://github.com/neuppl/rsdd-ocaml/archive/refs/tags/0.1.0.tar.gz"
37 checksum: [
38 "md5=bf18648cd174653b40ee822aac825c7b"
39 "sha512=1d0aaf95332ab41042d5410dde76d6c70308b294cfc3f900bf14297b4d4fb8bcfefd06f295d51dde085c180e1e6fb3494622d76167035a8d14f6044ac05d4967"
40 ]
41}