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" & < "5.0" }
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-017-PtNairob"
57 "tezos-protocol-plugin-017-PtNairob"
58 "tezos-client-alpha"
59 "tezos-protocol-plugin-alpha"
60]
61conflicts: [
62 "tezos-client-genesis" { != version }
63 "tezos-client-demo-counter" { != version }
64 "tezos-client-000-Ps9mPmXa" { != version }
65 "tezos-client-001-PtCJ7pwo" { != version }
66 "tezos-client-002-PsYLVpVv" { != version }
67 "tezos-client-003-PsddFKi3" { != version }
68 "tezos-client-004-Pt24m4xi" { != version }
69 "tezos-client-005-PsBabyM1" { != version }
70 "tezos-client-006-PsCARTHA" { != version }
71 "tezos-client-007-PsDELPH1" { != version }
72 "tezos-protocol-plugin-007-PsDELPH1" { != version }
73 "tezos-client-008-PtEdo2Zk" { != version }
74 "tezos-protocol-plugin-008-PtEdo2Zk" { != version }
75 "tezos-client-009-PsFLoren" { != version }
76 "tezos-protocol-plugin-009-PsFLoren" { != version }
77 "tezos-client-010-PtGRANAD" { != version }
78 "tezos-protocol-plugin-010-PtGRANAD" { != version }
79 "tezos-client-011-PtHangz2" { != version }
80 "tezos-protocol-plugin-011-PtHangz2" { != version }
81 "tezos-client-012-Psithaca" { != version }
82 "tezos-protocol-plugin-012-Psithaca" { != version }
83 "tezos-client-013-PtJakart" { != version }
84 "tezos-protocol-plugin-013-PtJakart" { != version }
85 "tezos-client-014-PtKathma" { != version }
86 "tezos-protocol-plugin-014-PtKathma" { != version }
87 "tezos-client-015-PtLimaPt" { != version }
88 "tezos-protocol-plugin-015-PtLimaPt" { != version }
89 "tezos-client-016-PtMumbai" { != version }
90 "tezos-protocol-plugin-016-PtMumbai" { != version }
91 "tezos-client-017-PtNairob" { != version }
92 "tezos-protocol-plugin-017-PtNairob" { != version }
93 "tezos-client-alpha" { != version }
94 "tezos-protocol-plugin-alpha" { != version }
95]
96build: [
97 ["rm" "-r" "vendors"]
98 ["dune" "build" "-p" name "-j" jobs]
99 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
100]
101synopsis: "Octez: `octez-proxy-server` binary"
102url {
103 src: "https://gitlab.com/tezos/tezos/-/archive/v17.3/tezos-17.3.tar.gz"
104 checksum: [
105 "sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680"
106 "sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc"
107 ]
108}