this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "A Clp domain"
3description:
4 "Represents non relational properties of signed or unsigned bitvectors."
5maintainer: ["Ian Smith"]
6authors: ["Ian Smith"]
7homepage: "https://github.com/2over12/clp_operations"
8bug-reports: "https://github.com/2over12/clp_operations/issues"
9depends: [
10 "dune" {>= "2.9"}
11 "bap"
12 "oseq"
13 "core_kernel"
14 "zarith"
15 "ounit2" {with-test}
16 "qcheck" {with-test}
17 "odoc" {with-doc}
18]
19build: [
20 ["dune" "subst" "--root" "."] {dev}
21 [
22 "dune"
23 "build"
24 "-p"
25 name
26 "-j"
27 jobs
28 "--promote-install-files"
29 "false"
30 "@install"
31 "@runtest" {with-test}
32 "@doc" {with-doc}
33 ]
34 ["dune" "install" "-p" name "--create-install-files" name]
35]
36dev-repo: "git+https://github.com/2over12/clp_operations.git"
37url {
38 src:
39 "https://github.com/2over12/clp_operations/releases/download/0.0.1/clp_operations-0.0.1.tbz"
40 checksum: [
41 "sha256=ab3507410f32b2775a6c9392551c7bd0f5b7631a76cf37dd42067d7752d3a711"
42 "sha512=dea45bf55b7fbe1bc960d0cade9cae3c8dce0762956627bcbd7a6c91fd6290bc95758a39158a0848db43610be63747b6bc9d87f2f4e2183d31494073425a1410"
43 ]
44}
45x-commit-hash: "41823a8a2cd1fe4aee4044a2436574329f4c569d"