(lang dune 3.0)
(formatting (enabled_for ocaml))
(cram enable)
(package (name internal-devtools))
(package (name tezos-012-Psithaca-test-helpers))
(package (name tezos-013-PtJakart-test-helpers))
(package (name tezos-014-PtKathma-test-helpers))
(package (name tezos-accuser-012-Psithaca))
(package (name tezos-accuser-013-PtJakart))
(package (name tezos-accuser-014-PtKathma))
(package (name tezos-accuser-alpha))
(package (name tezos-alpha-test-helpers))
(package (name tezos-baker-012-Psithaca))
(package (name tezos-baker-013-PtJakart))
(package (name tezos-baker-014-PtKathma))
(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-014-PtKathma))
(package (name tezos-baking-014-PtKathma-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-014-PtKathma))
(package (name tezos-benchmark-alpha))
(package (name tezos-benchmark-examples))
(package (name tezos-benchmark-tests)(allow_empty))
(package (name tezos-benchmark-type-inference-012-Psithaca))
(package (name tezos-benchmark-type-inference-013-PtJakart))
(package (name tezos-benchmark-type-inference-014-PtKathma))
(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-014-PtKathma))
(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-002-PsYLVpVv))
(package (name tezos-client-003-PsddFKi3))
(package (name tezos-client-004-Pt24m4xi))
(package (name tezos-client-005-PsBabyM1))
(package (name tezos-client-006-PsCARTHA))
(package (name tezos-client-007-PsDELPH1))
(package (name tezos-client-008-PtEdo2Zk))
(package (name tezos-client-009-PsFLoren))
(package (name tezos-client-010-PtGRANAD))
(package (name tezos-client-011-PtHangz2))
(package (name tezos-client-012-Psithaca))
(package (name tezos-client-013-PtJakart))
(package (name tezos-client-014-PtKathma))
(package (name tezos-client-alpha))
(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-codec))
(package (name tezos-context))
(package (name tezos-context-ops))
(package (name tezos-crypto))
(package (name tezos-embedded-protocol-000-Ps9mPmXa))
(package (name tezos-embedded-protocol-001-PtCJ7pwo))
(package (name tezos-embedded-protocol-002-PsYLVpVv))
(package (name tezos-embedded-protocol-003-PsddFKi3))
(package (name tezos-embedded-protocol-004-Pt24m4xi))
(package (name tezos-embedded-protocol-005-PsBABY5H))
(package (name tezos-embedded-protocol-005-PsBabyM1))
(package (name tezos-embedded-protocol-006-PsCARTHA))
(package (name tezos-embedded-protocol-007-PsDELPH1))
(package (name tezos-embedded-protocol-008-PtEdo2Zk))
(package (name tezos-embedded-protocol-008-PtEdoTez))
(package (name tezos-embedded-protocol-009-PsFLoren))
(package (name tezos-embedded-protocol-010-PtGRANAD))
(package (name tezos-embedded-protocol-011-PtHangz2))
(package (name tezos-embedded-protocol-012-Psithaca))
(package (name tezos-embedded-protocol-013-PtJakart))
(package (name tezos-embedded-protocol-014-PtKathma))
(package (name tezos-embedded-protocol-alpha))
(package (name tezos-embedded-protocol-demo-counter))
(package (name tezos-embedded-protocol-demo-noops))
(package (name tezos-embedded-protocol-genesis))
(package (name tezos-error-monad))
(package (name tezos-event-logging))
(package (name tezos-event-logging-test-helpers))
(package (name tezos-expect-helper))
(package (name tezos-hacl))
(package (name tezos-injector-013-PtJakart))
(package (name tezos-injector-014-PtKathma))
(package (name tezos-injector-alpha))
(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-000-Ps9mPmXa))
(package (name tezos-protocol-001-PtCJ7pwo))
(package (name tezos-protocol-002-PsYLVpVv))
(package (name tezos-protocol-003-PsddFKi3))
(package (name tezos-protocol-004-Pt24m4xi))
(package (name tezos-protocol-005-PsBABY5H))
(package (name tezos-protocol-005-PsBabyM1))
(package (name tezos-protocol-006-PsCARTHA))
(package (name tezos-protocol-007-PsDELPH1))
(package (name tezos-protocol-008-PtEdo2Zk))
(package (name tezos-protocol-008-PtEdoTez))
(package (name tezos-protocol-009-PsFLoren))
(package (name tezos-protocol-010-PtGRANAD))
(package (name tezos-protocol-011-PtHangz2))
(package (name tezos-protocol-012-Psithaca))
(package (name tezos-protocol-012-Psithaca-tests)(allow_empty))
(package (name tezos-protocol-013-PtJakart))
(package (name tezos-protocol-013-PtJakart-tests)(allow_empty))
(package (name tezos-protocol-014-PtKathma))
(package (name tezos-protocol-014-PtKathma-tests)(allow_empty))
(package (name tezos-protocol-alpha))
(package (name tezos-protocol-alpha-tests)(allow_empty))
(package (name tezos-protocol-compiler))
(package (name tezos-protocol-demo-counter))
(package (name tezos-protocol-demo-noops))
(package (name tezos-protocol-environment))
(package (name tezos-protocol-genesis))
(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)(allow_empty))
(package (name tezos-protocol-plugin-013-PtJakart))
(package (name tezos-protocol-plugin-013-PtJakart-registerer))
(package (name tezos-protocol-plugin-013-PtJakart-tests)(allow_empty))
(package (name tezos-protocol-plugin-014-PtKathma))
(package (name tezos-protocol-plugin-014-PtKathma-registerer))
(package (name tezos-protocol-plugin-014-PtKathma-tests)(allow_empty))
(package (name tezos-protocol-plugin-alpha))
(package (name tezos-protocol-plugin-alpha-registerer))
(package (name tezos-protocol-plugin-alpha-tests)(allow_empty))
(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-014-PtKathma))
(package (name tezos-sc-rollup-alpha))
(package (name tezos-sc-rollup-client-013-PtJakart))
(package (name tezos-sc-rollup-client-014-PtKathma))
(package (name tezos-sc-rollup-client-alpha))
(package (name tezos-sc-rollup-node-013-PtJakart))
(package (name tezos-sc-rollup-node-014-PtKathma))
(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)(allow_empty))
(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-014-PtKathma))
(package (name tezos-tx-rollup-alpha))
(package (name tezos-tx-rollup-client-013-PtJakart))
(package (name tezos-tx-rollup-client-014-PtKathma))
(package (name tezos-tx-rollup-client-alpha))
(package (name tezos-tx-rollup-node-013-PtJakart))
(package (name tezos-tx-rollup-node-014-PtKathma))
(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.