opam-version: "2.0"
maintainer: "contact@tezos.com"
authors: ["Tezos devteam"]
homepage: "https://www.tezos.com/"
bug-reports: "https://gitlab.com/tezos/tezos/issues"
dev-repo: "git+https://gitlab.com/tezos/tezos.git"
license: "MIT"
depends: [
  "dune" { >= "3.0" }
  "ocaml" { >= "4.14" & < "5.0" }
  "tezos-base" { = version }
  "tezos-stdlib-unix" { = version }
  "tezos-rpc" { = version }
  "cmdliner" { >= "1.1.0" }
  "lwt-exit"
  "lwt" { >= "5.6.0" }
  "tezos-proxy" { = version }
  "tezos-proxy-server-config" { = version }
  "tezos-rpc-http-client-unix" { = version }
  "tezos-rpc-http-server" { = version }
  "tezos-shell-services" { = version }
  "tezos-shell-context" { = version }
  "tezos-version" { = version }
  "uri" { >= "3.1.0" }
]
depopts: [
  "tezos-client-genesis"
  "tezos-client-demo-counter"
  "tezos-client-000-Ps9mPmXa"
  "tezos-client-001-PtCJ7pwo"
  "tezos-client-002-PsYLVpVv"
  "tezos-client-003-PsddFKi3"
  "tezos-client-004-Pt24m4xi"
  "tezos-client-005-PsBabyM1"
  "tezos-client-006-PsCARTHA"
  "tezos-client-007-PsDELPH1"
  "tezos-protocol-plugin-007-PsDELPH1"
  "tezos-client-008-PtEdo2Zk"
  "tezos-protocol-plugin-008-PtEdo2Zk"
  "tezos-client-009-PsFLoren"
  "tezos-protocol-plugin-009-PsFLoren"
  "tezos-client-010-PtGRANAD"
  "tezos-protocol-plugin-010-PtGRANAD"
  "tezos-client-011-PtHangz2"
  "tezos-protocol-plugin-011-PtHangz2"
  "tezos-client-012-Psithaca"
  "tezos-protocol-plugin-012-Psithaca"
  "tezos-client-013-PtJakart"
  "tezos-protocol-plugin-013-PtJakart"
  "tezos-client-014-PtKathma"
  "tezos-protocol-plugin-014-PtKathma"
  "tezos-client-015-PtLimaPt"
  "tezos-protocol-plugin-015-PtLimaPt"
  "tezos-client-016-PtMumbai"
  "tezos-protocol-plugin-016-PtMumbai"
  "tezos-client-017-PtNairob"
  "tezos-protocol-plugin-017-PtNairob"
  "tezos-client-alpha"
  "tezos-protocol-plugin-alpha"
]
conflicts: [
  "tezos-client-genesis" { != version }
  "tezos-client-demo-counter" { != version }
  "tezos-client-000-Ps9mPmXa" { != version }
  "tezos-client-001-PtCJ7pwo" { != version }
  "tezos-client-002-PsYLVpVv" { != version }
  "tezos-client-003-PsddFKi3" { != version }
  "tezos-client-004-Pt24m4xi" { != version }
  "tezos-client-005-PsBabyM1" { != version }
  "tezos-client-006-PsCARTHA" { != version }
  "tezos-client-007-PsDELPH1" { != version }
  "tezos-protocol-plugin-007-PsDELPH1" { != version }
  "tezos-client-008-PtEdo2Zk" { != version }
  "tezos-protocol-plugin-008-PtEdo2Zk" { != version }
  "tezos-client-009-PsFLoren" { != version }
  "tezos-protocol-plugin-009-PsFLoren" { != version }
  "tezos-client-010-PtGRANAD" { != version }
  "tezos-protocol-plugin-010-PtGRANAD" { != version }
  "tezos-client-011-PtHangz2" { != version }
  "tezos-protocol-plugin-011-PtHangz2" { != version }
  "tezos-client-012-Psithaca" { != version }
  "tezos-protocol-plugin-012-Psithaca" { != version }
  "tezos-client-013-PtJakart" { != version }
  "tezos-protocol-plugin-013-PtJakart" { != version }
  "tezos-client-014-PtKathma" { != version }
  "tezos-protocol-plugin-014-PtKathma" { != version }
  "tezos-client-015-PtLimaPt" { != version }
  "tezos-protocol-plugin-015-PtLimaPt" { != version }
  "tezos-client-016-PtMumbai" { != version }
  "tezos-protocol-plugin-016-PtMumbai" { != version }
  "tezos-client-017-PtNairob" { != version }
  "tezos-protocol-plugin-017-PtNairob" { != version }
  "tezos-client-alpha" { != version }
  "tezos-protocol-plugin-alpha" { != version }
]
build: [
  ["rm" "-r" "vendors"]
  ["dune" "build" "-p" name "-j" jobs]
  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
synopsis: "Octez: `octez-proxy-server` binary"
url {
  src: "https://gitlab.com/tezos/tezos/-/archive/v17.3/tezos-17.3.tar.gz"
  checksum: [
    "sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680"
    "sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc"
  ]
}