this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Network client for catapult, to be paired with catapult-daemon"
4maintainer: ["simon@imandra.ai"]
5authors: ["simon@imandra.ai"]
6license: "MIT"
7homepage: "https://github.com/AestheticIntegration/catapult"
8bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
9depends: [
10 "dune" {>= "2.0"}
11 "catapult" {= version}
12 "odoc" {with-doc}
13 "zmq" {>= "5.0"}
14 "ocaml" {>= "4.08"}
15]
16build: [
17 ["dune" "subst"] {dev}
18 [
19 "dune"
20 "build"
21 "-p"
22 name
23 "-j"
24 jobs
25 "@install"
26 "@runtest" {with-test}
27 "@doc" {with-doc}
28 ]
29]
30dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
31url {
32 src:
33 "https://github.com/AestheticIntegration/catapult/archive/v0.1.1.tar.gz"
34 checksum: [
35 "md5=b706c74e8644967431055dc61f611f37"
36 "sha512=2915460b9fdd8a470de1b3bc75fcf58c36d00823588f46082db5099979f96f3bc261a91d4b5c672d2df9493461075fd61df804c1e4e737ee052af280dc6c9a6b"
37 ]
38}