(lang dune 2.9)
(formatting (enabled_for ocaml))
(cram enable)
(package (name internal-devtools))
(package (name tezos-accuser-012-Psithaca))
(package (name tezos-accuser-013-PtJakart))
(package (name tezos-accuser-alpha))
(package (name tezos-baker-012-Psithaca))
(package (name tezos-baker-013-PtJakart))
(package (name tezos-baker-alpha))
(package (name tezos-baking-012-Psithaca))
(package (name tezos-baking-012-Psithaca-commands))
(package (name tezos-baking-013-PtJakart))
(package (name tezos-baking-013-PtJakart-commands))
(package (name tezos-baking-alpha))
(package (name tezos-baking-alpha-commands))
(package (name tezos-base))
(package (name tezos-base-test-helpers))
(package (name tezos-benchmark))
(package (name tezos-benchmark-012-Psithaca))
(package (name tezos-benchmark-013-PtJakart))
(package (name tezos-benchmark-alpha))
(package (name tezos-benchmark-examples))
(package (name tezos-benchmark-tests))
(package (name tezos-benchmark-type-inference-012-Psithaca))
(package (name tezos-benchmark-type-inference-013-PtJakart))
(package (name tezos-benchmark-type-inference-alpha))
(package (name tezos-benchmarks-proto-012-Psithaca))
(package (name tezos-benchmarks-proto-013-PtJakart))
(package (name tezos-benchmarks-proto-alpha))
(package (name tezos-clic))
(package (name tezos-client))
(package (name tezos-client-000-Ps9mPmXa))
(package (name tezos-client-001-PtCJ7pwo))
(package (name tezos-client-001-PtCJ7pwo-commands))
(package (name tezos-client-002-PsYLVpVv))
(package (name tezos-client-002-PsYLVpVv-commands))
(package (name tezos-client-003-PsddFKi3))
(package (name tezos-client-003-PsddFKi3-commands))
(package (name tezos-client-004-Pt24m4xi))
(package (name tezos-client-004-Pt24m4xi-commands))
(package (name tezos-client-005-PsBabyM1))
(package (name tezos-client-005-PsBabyM1-commands))
(package (name tezos-client-006-PsCARTHA))
(package (name tezos-client-006-PsCARTHA-commands))
(package (name tezos-client-007-PsDELPH1))
(package (name tezos-client-007-PsDELPH1-commands))
(package (name tezos-client-007-PsDELPH1-commands-registration))
(package (name tezos-client-008-PtEdo2Zk))
(package (name tezos-client-008-PtEdo2Zk-commands))
(package (name tezos-client-008-PtEdo2Zk-commands-registration))
(package (name tezos-client-009-PsFLoren))
(package (name tezos-client-009-PsFLoren-commands))
(package (name tezos-client-009-PsFLoren-commands-registration))
(package (name tezos-client-010-PtGRANAD))
(package (name tezos-client-010-PtGRANAD-commands))
(package (name tezos-client-010-PtGRANAD-commands-registration))
(package (name tezos-client-011-PtHangz2))
(package (name tezos-client-011-PtHangz2-commands))
(package (name tezos-client-011-PtHangz2-commands-registration))
(package (name tezos-client-012-Psithaca))
(package (name tezos-client-012-Psithaca-commands))
(package (name tezos-client-012-Psithaca-commands-registration))
(package (name tezos-client-013-PtJakart))
(package (name tezos-client-013-PtJakart-commands))
(package (name tezos-client-013-PtJakart-commands-registration))
(package (name tezos-client-alpha))
(package (name tezos-client-alpha-commands))
(package (name tezos-client-alpha-commands-registration))
(package (name tezos-client-base))
(package (name tezos-client-base-unix))
(package (name tezos-client-commands))
(package (name tezos-client-demo-counter))
(package (name tezos-client-genesis))
(package (name tezos-client-sapling-008-PtEdo2Zk))
(package (name tezos-client-sapling-009-PsFLoren))
(package (name tezos-client-sapling-010-PtGRANAD))
(package (name tezos-client-sapling-011-PtHangz2))
(package (name tezos-client-sapling-012-Psithaca))
(package (name tezos-client-sapling-013-PtJakart))
(package (name tezos-client-sapling-alpha))
(package (name tezos-codec))
(package (name tezos-context))
(package (name tezos-crypto))
(package (name tezos-error-monad))
(package (name tezos-event-logging))
(package (name tezos-event-logging-test-helpers))
(package (name tezos-hacl))
(package (name tezos-lwt-result-stdlib))
(package (name tezos-micheline))
(package (name tezos-micheline-rewriting))
(package (name tezos-mockup))
(package (name tezos-mockup-commands))
(package (name tezos-mockup-proxy))
(package (name tezos-mockup-registration))
(package (name tezos-node))
(package (name tezos-openapi))
(package (name tezos-p2p))
(package (name tezos-p2p-services))
(package (name tezos-protocol-008-PtEdo2Zk-parameters))
(package (name tezos-protocol-009-PsFLoren-parameters))
(package (name tezos-protocol-010-PtGRANAD-parameters))
(package (name tezos-protocol-011-PtHangz2-parameters))
(package (name tezos-protocol-012-Psithaca-parameters))
(package (name tezos-protocol-013-PtJakart-parameters))
(package (name tezos-protocol-alpha-parameters))
(package (name tezos-protocol-compiler))
(package (name tezos-protocol-environment))
(package (name tezos-protocol-plugin-007-PsDELPH1))
(package (name tezos-protocol-plugin-007-PsDELPH1-registerer))
(package (name tezos-protocol-plugin-008-PtEdo2Zk))
(package (name tezos-protocol-plugin-008-PtEdo2Zk-registerer))
(package (name tezos-protocol-plugin-009-PsFLoren))
(package (name tezos-protocol-plugin-009-PsFLoren-registerer))
(package (name tezos-protocol-plugin-010-PtGRANAD))
(package (name tezos-protocol-plugin-010-PtGRANAD-registerer))
(package (name tezos-protocol-plugin-011-PtHangz2))
(package (name tezos-protocol-plugin-011-PtHangz2-registerer))
(package (name tezos-protocol-plugin-012-Psithaca))
(package (name tezos-protocol-plugin-012-Psithaca-registerer))
(package (name tezos-protocol-plugin-012-Psithaca-tests))
(package (name tezos-protocol-plugin-013-PtJakart))
(package (name tezos-protocol-plugin-013-PtJakart-registerer))
(package (name tezos-protocol-plugin-013-PtJakart-tests))
(package (name tezos-protocol-plugin-alpha))
(package (name tezos-protocol-plugin-alpha-registerer))
(package (name tezos-protocol-plugin-alpha-tests))
(package (name tezos-protocol-updater))
(package (name tezos-proxy))
(package (name tezos-proxy-server))
(package (name tezos-proxy-server-config))
(package (name tezos-requester))
(package (name tezos-rpc))
(package (name tezos-rpc-http))
(package (name tezos-rpc-http-client))
(package (name tezos-rpc-http-client-unix))
(package (name tezos-rpc-http-server))
(package (name tezos-sapling))
(package (name tezos-sc-rollup-013-PtJakart))
(package (name tezos-sc-rollup-alpha))
(package (name tezos-sc-rollup-client-013-PtJakart))
(package (name tezos-sc-rollup-client-alpha))
(package (name tezos-sc-rollup-node-013-PtJakart))
(package (name tezos-sc-rollup-node-alpha))
(package (name tezos-scoru-wasm))
(package (name tezos-shell))
(package (name tezos-shell-benchmarks))
(package (name tezos-shell-context))
(package (name tezos-shell-context-test))
(package (name tezos-shell-services))
(package (name tezos-shell-services-test-helpers))
(package (name tezos-signer))
(package (name tezos-signer-backends))
(package (name tezos-signer-services))
(package (name tezos-snoop))
(package (name tezos-stdlib))
(package (name tezos-stdlib-unix))
(package (name tezos-store))
(package (name tezos-test-helpers))
(package (name tezos-test-helpers-extra))
(package (name tezos-tooling))
(package (name tezos-tps-evaluation))
(package (name tezos-tx-rollup-013-PtJakart))
(package (name tezos-tx-rollup-alpha))
(package (name tezos-tx-rollup-client-013-PtJakart))
(package (name tezos-tx-rollup-client-alpha))
(package (name tezos-tx-rollup-node-013-PtJakart))
(package (name tezos-tx-rollup-node-alpha))
(package (name tezos-validation))
(package (name tezos-validator))
(package (name tezos-version))
(package (name tezos-webassembly-interpreter))
(package (name tezos-workers))
(package (name tezt))
(package (name tezt-performance-regression))
(package (name tezt-self-tests))
(package (name tezt-tezos))
; This file was automatically generated, do not edit.
; Edit file manifest/manifest.ml instead.