···
2
+
maintainer: "contact@tezos.com"
3
+
authors: ["Tezos devteam"]
4
+
homepage: "https://www.tezos.com/"
5
+
bug-reports: "https://gitlab.com/tezos/tezos/issues"
6
+
dev-repo: "git+https://gitlab.com/tezos/tezos.git"
10
+
"tezos-base" { = version }
11
+
"tezos-stdlib-unix" { = version }
12
+
"cmdliner" { >= "1.1.0" }
14
+
"lwt" { >= "5.6.0" }
15
+
"tezos-proxy" { = version }
16
+
"tezos-proxy-server-config" { = version }
17
+
"tezos-rpc-http-client-unix" { = version }
18
+
"tezos-rpc-http-server" { = version }
19
+
"tezos-shell-services" { = version }
20
+
"tezos-shell-context" { = version }
21
+
"tezos-version" { = version }
22
+
"uri" { >= "2.2.0" }
25
+
"tezos-client-genesis"
26
+
"tezos-client-demo-counter"
27
+
"tezos-client-000-Ps9mPmXa"
28
+
"tezos-client-001-PtCJ7pwo"
29
+
"tezos-client-002-PsYLVpVv"
30
+
"tezos-client-003-PsddFKi3"
31
+
"tezos-client-004-Pt24m4xi"
32
+
"tezos-client-005-PsBabyM1"
33
+
"tezos-client-006-PsCARTHA"
34
+
"tezos-client-007-PsDELPH1"
35
+
"tezos-protocol-plugin-007-PsDELPH1"
36
+
"tezos-client-008-PtEdo2Zk"
37
+
"tezos-protocol-plugin-008-PtEdo2Zk"
38
+
"tezos-client-009-PsFLoren"
39
+
"tezos-protocol-plugin-009-PsFLoren"
40
+
"tezos-client-010-PtGRANAD"
41
+
"tezos-protocol-plugin-010-PtGRANAD"
42
+
"tezos-client-011-PtHangz2"
43
+
"tezos-protocol-plugin-011-PtHangz2"
44
+
"tezos-client-012-Psithaca"
45
+
"tezos-protocol-plugin-012-Psithaca"
46
+
"tezos-client-013-PtJakart"
47
+
"tezos-protocol-plugin-013-PtJakart"
48
+
"tezos-client-014-PtKathma"
49
+
"tezos-protocol-plugin-014-PtKathma"
50
+
"tezos-client-015-PtLimaPt"
51
+
"tezos-protocol-plugin-015-PtLimaPt"
52
+
"tezos-client-alpha"
53
+
"tezos-protocol-plugin-alpha"
56
+
"tezos-client-genesis" { != version }
57
+
"tezos-client-demo-counter" { != version }
58
+
"tezos-client-000-Ps9mPmXa" { != version }
59
+
"tezos-client-001-PtCJ7pwo" { != version }
60
+
"tezos-client-002-PsYLVpVv" { != version }
61
+
"tezos-client-003-PsddFKi3" { != version }
62
+
"tezos-client-004-Pt24m4xi" { != version }
63
+
"tezos-client-005-PsBabyM1" { != version }
64
+
"tezos-client-006-PsCARTHA" { != version }
65
+
"tezos-client-007-PsDELPH1" { != version }
66
+
"tezos-protocol-plugin-007-PsDELPH1" { != version }
67
+
"tezos-client-008-PtEdo2Zk" { != version }
68
+
"tezos-protocol-plugin-008-PtEdo2Zk" { != version }
69
+
"tezos-client-009-PsFLoren" { != version }
70
+
"tezos-protocol-plugin-009-PsFLoren" { != version }
71
+
"tezos-client-010-PtGRANAD" { != version }
72
+
"tezos-protocol-plugin-010-PtGRANAD" { != version }
73
+
"tezos-client-011-PtHangz2" { != version }
74
+
"tezos-protocol-plugin-011-PtHangz2" { != version }
75
+
"tezos-client-012-Psithaca" { != version }
76
+
"tezos-protocol-plugin-012-Psithaca" { != version }
77
+
"tezos-client-013-PtJakart" { != version }
78
+
"tezos-protocol-plugin-013-PtJakart" { != version }
79
+
"tezos-client-014-PtKathma" { != version }
80
+
"tezos-protocol-plugin-014-PtKathma" { != version }
81
+
"tezos-client-015-PtLimaPt" { != version }
82
+
"tezos-protocol-plugin-015-PtLimaPt" { != version }
83
+
"tezos-client-alpha" { != version }
84
+
"tezos-protocol-plugin-alpha" { != version }
87
+
["rm" "-r" "vendors"]
88
+
["dune" "build" "-p" name "-j" jobs]
89
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
91
+
synopsis: "Octez: `octez-proxy-server` binary"
93
+
src: "https://gitlab.com/tezos/tezos/-/package_files/58329735/download"
95
+
"sha256=c877d89e9fed2012aa6b541232f54723294d1356baa75bf8af99362ade8d6557"
96
+
"sha512=a7c37b9e3095978d16c7b82e377deca1d2edda1c441cd031f93c4e5d9d0d95ed8b2198d8a99d10407ef923559b8a7e422f61c3d3393f56fcc791bd073e3ca4fb"