this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "contact@tezos.com"
3authors: ["Tezos devteam"]
4homepage: "https://www.tezos.com/"
5bug-reports: "https://gitlab.com/tezos/tezos/issues"
6dev-repo: "git+https://gitlab.com/tezos/tezos.git"
7license: "MIT"
8depends: [
9 "dune" { >= "3.0" }
10 "ocaml" { >= "4.14" }
11 "tezos-base" { = version }
12 "tezos-stdlib-unix" { = version }
13 "tezos-rpc" { = version }
14 "cmdliner" { >= "1.1.0" }
15 "lwt-exit"
16 "lwt" { >= "5.6.0" }
17 "tezos-proxy" { = version }
18 "tezos-proxy-server-config" { = version }
19 "tezos-rpc-http-client-unix" { = version }
20 "tezos-rpc-http-server" { = version }
21 "tezos-shell-services" { = version }
22 "tezos-shell-context" { = version }
23 "tezos-version" { = version }
24 "uri" { >= "3.1.0" }
25]
26depopts: [
27 "tezos-client-genesis"
28 "tezos-client-demo-counter"
29 "tezos-client-000-Ps9mPmXa"
30 "tezos-client-001-PtCJ7pwo"
31 "tezos-client-002-PsYLVpVv"
32 "tezos-client-003-PsddFKi3"
33 "tezos-client-004-Pt24m4xi"
34 "tezos-client-005-PsBabyM1"
35 "tezos-client-006-PsCARTHA"
36 "tezos-client-007-PsDELPH1"
37 "tezos-protocol-plugin-007-PsDELPH1"
38 "tezos-client-008-PtEdo2Zk"
39 "tezos-protocol-plugin-008-PtEdo2Zk"
40 "tezos-client-009-PsFLoren"
41 "tezos-protocol-plugin-009-PsFLoren"
42 "tezos-client-010-PtGRANAD"
43 "tezos-protocol-plugin-010-PtGRANAD"
44 "tezos-client-011-PtHangz2"
45 "tezos-protocol-plugin-011-PtHangz2"
46 "tezos-client-012-Psithaca"
47 "tezos-protocol-plugin-012-Psithaca"
48 "tezos-client-013-PtJakart"
49 "tezos-protocol-plugin-013-PtJakart"
50 "tezos-client-014-PtKathma"
51 "tezos-protocol-plugin-014-PtKathma"
52 "tezos-client-015-PtLimaPt"
53 "tezos-protocol-plugin-015-PtLimaPt"
54 "tezos-client-016-PtMumbai"
55 "tezos-protocol-plugin-016-PtMumbai"
56 "tezos-client-alpha"
57 "tezos-protocol-plugin-alpha"
58]
59conflicts: [
60 "tezos-client-genesis" { != version }
61 "tezos-client-demo-counter" { != version }
62 "tezos-client-000-Ps9mPmXa" { != version }
63 "tezos-client-001-PtCJ7pwo" { != version }
64 "tezos-client-002-PsYLVpVv" { != version }
65 "tezos-client-003-PsddFKi3" { != version }
66 "tezos-client-004-Pt24m4xi" { != version }
67 "tezos-client-005-PsBabyM1" { != version }
68 "tezos-client-006-PsCARTHA" { != version }
69 "tezos-client-007-PsDELPH1" { != version }
70 "tezos-protocol-plugin-007-PsDELPH1" { != version }
71 "tezos-client-008-PtEdo2Zk" { != version }
72 "tezos-protocol-plugin-008-PtEdo2Zk" { != version }
73 "tezos-client-009-PsFLoren" { != version }
74 "tezos-protocol-plugin-009-PsFLoren" { != version }
75 "tezos-client-010-PtGRANAD" { != version }
76 "tezos-protocol-plugin-010-PtGRANAD" { != version }
77 "tezos-client-011-PtHangz2" { != version }
78 "tezos-protocol-plugin-011-PtHangz2" { != version }
79 "tezos-client-012-Psithaca" { != version }
80 "tezos-protocol-plugin-012-Psithaca" { != version }
81 "tezos-client-013-PtJakart" { != version }
82 "tezos-protocol-plugin-013-PtJakart" { != version }
83 "tezos-client-014-PtKathma" { != version }
84 "tezos-protocol-plugin-014-PtKathma" { != version }
85 "tezos-client-015-PtLimaPt" { != version }
86 "tezos-protocol-plugin-015-PtLimaPt" { != version }
87 "tezos-client-016-PtMumbai" { != version }
88 "tezos-protocol-plugin-016-PtMumbai" { != version }
89 "tezos-client-alpha" { != version }
90 "tezos-protocol-plugin-alpha" { != version }
91]
92build: [
93 ["rm" "-r" "vendors"]
94 ["dune" "build" "-p" name "-j" jobs]
95 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
96]
97synopsis: "Octez: `octez-proxy-server` binary"
98url {
99 src: "https://gitlab.com/tezos/tezos/-/archive/v16.1/tezos-16.1.tar.gz"
100 checksum: [
101 "sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7"
102 "sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f"
103 ]
104}