Skip to content

Commit 7353107

Browse files
authored
Merge pull request ocaml#21924 from pirbo/octez-14
Octez 14
2 parents 05d9c20 + f90ed7d commit 7353107

File tree

168 files changed

+5426
-0
lines changed
  • packages
    • tezos-012-Psithaca-test-helpers/tezos-012-Psithaca-test-helpers.14.0
    • tezos-013-PtJakart-test-helpers/tezos-013-PtJakart-test-helpers.14.0
    • tezos-014-PtKathma-test-helpers/tezos-014-PtKathma-test-helpers.14.0
    • tezos-accuser-012-Psithaca/tezos-accuser-012-Psithaca.14.0
    • tezos-accuser-013-PtJakart/tezos-accuser-013-PtJakart.14.0
    • tezos-accuser-014-PtKathma/tezos-accuser-014-PtKathma.14.0
    • tezos-accuser-alpha/tezos-accuser-alpha.14.0
    • tezos-alpha-test-helpers/tezos-alpha-test-helpers.14.0
    • tezos-baker-012-Psithaca/tezos-baker-012-Psithaca.14.0
    • tezos-baker-013-PtJakart/tezos-baker-013-PtJakart.14.0
    • tezos-baker-014-PtKathma/tezos-baker-014-PtKathma.14.0
    • tezos-baker-alpha/tezos-baker-alpha.14.0
    • tezos-baking-012-Psithaca-commands/tezos-baking-012-Psithaca-commands.14.0
    • tezos-baking-012-Psithaca/tezos-baking-012-Psithaca.14.0
    • tezos-baking-013-PtJakart-commands/tezos-baking-013-PtJakart-commands.14.0
    • tezos-baking-013-PtJakart/tezos-baking-013-PtJakart.14.0
    • tezos-baking-014-PtKathma-commands/tezos-baking-014-PtKathma-commands.14.0
    • tezos-baking-014-PtKathma/tezos-baking-014-PtKathma.14.0
    • tezos-baking-alpha-commands/tezos-baking-alpha-commands.14.0
    • tezos-baking-alpha/tezos-baking-alpha.14.0
    • tezos-base-test-helpers/tezos-base-test-helpers.14.0
    • tezos-base/tezos-base.14.0
    • tezos-clic/tezos-clic.14.0
    • tezos-client-000-Ps9mPmXa/tezos-client-000-Ps9mPmXa.14.0
    • tezos-client-001-PtCJ7pwo/tezos-client-001-PtCJ7pwo.14.0
    • tezos-client-002-PsYLVpVv/tezos-client-002-PsYLVpVv.14.0
    • tezos-client-003-PsddFKi3/tezos-client-003-PsddFKi3.14.0
    • tezos-client-004-Pt24m4xi/tezos-client-004-Pt24m4xi.14.0
    • tezos-client-005-PsBabyM1/tezos-client-005-PsBabyM1.14.0
    • tezos-client-006-PsCARTHA/tezos-client-006-PsCARTHA.14.0
    • tezos-client-007-PsDELPH1/tezos-client-007-PsDELPH1.14.0
    • tezos-client-008-PtEdo2Zk/tezos-client-008-PtEdo2Zk.14.0
    • tezos-client-009-PsFLoren/tezos-client-009-PsFLoren.14.0
    • tezos-client-010-PtGRANAD/tezos-client-010-PtGRANAD.14.0
    • tezos-client-011-PtHangz2/tezos-client-011-PtHangz2.14.0
    • tezos-client-012-Psithaca/tezos-client-012-Psithaca.14.0
    • tezos-client-013-PtJakart/tezos-client-013-PtJakart.14.0
    • tezos-client-014-PtKathma/tezos-client-014-PtKathma.14.0
    • tezos-client-alpha/tezos-client-alpha.14.0
    • tezos-client-base-unix/tezos-client-base-unix.14.0
    • tezos-client-base/tezos-client-base.14.0
    • tezos-client-commands/tezos-client-commands.14.0
    • tezos-client-demo-counter/tezos-client-demo-counter.14.0
    • tezos-client-genesis/tezos-client-genesis.14.0
    • tezos-client/tezos-client.14.0
    • tezos-codec/tezos-codec.14.0
    • tezos-context-ops/tezos-context-ops.14.0
    • tezos-context/tezos-context.14.0
    • tezos-crypto/tezos-crypto.14.0
    • tezos-embedded-protocol-000-Ps9mPmXa/tezos-embedded-protocol-000-Ps9mPmXa.14.0
    • tezos-embedded-protocol-001-PtCJ7pwo/tezos-embedded-protocol-001-PtCJ7pwo.14.0
    • tezos-embedded-protocol-002-PsYLVpVv/tezos-embedded-protocol-002-PsYLVpVv.14.0
    • tezos-embedded-protocol-003-PsddFKi3/tezos-embedded-protocol-003-PsddFKi3.14.0
    • tezos-embedded-protocol-004-Pt24m4xi/tezos-embedded-protocol-004-Pt24m4xi.14.0
    • tezos-embedded-protocol-005-PsBABY5H/tezos-embedded-protocol-005-PsBABY5H.14.0
    • tezos-embedded-protocol-005-PsBabyM1/tezos-embedded-protocol-005-PsBabyM1.14.0
    • tezos-embedded-protocol-006-PsCARTHA/tezos-embedded-protocol-006-PsCARTHA.14.0
    • tezos-embedded-protocol-007-PsDELPH1/tezos-embedded-protocol-007-PsDELPH1.14.0
    • tezos-embedded-protocol-008-PtEdo2Zk/tezos-embedded-protocol-008-PtEdo2Zk.14.0
    • tezos-embedded-protocol-008-PtEdoTez/tezos-embedded-protocol-008-PtEdoTez.14.0
    • tezos-embedded-protocol-009-PsFLoren/tezos-embedded-protocol-009-PsFLoren.14.0
    • tezos-embedded-protocol-010-PtGRANAD/tezos-embedded-protocol-010-PtGRANAD.14.0
    • tezos-embedded-protocol-011-PtHangz2/tezos-embedded-protocol-011-PtHangz2.14.0
    • tezos-embedded-protocol-012-Psithaca/tezos-embedded-protocol-012-Psithaca.14.0
    • tezos-embedded-protocol-013-PtJakart/tezos-embedded-protocol-013-PtJakart.14.0
    • tezos-embedded-protocol-014-PtKathma/tezos-embedded-protocol-014-PtKathma.14.0
    • tezos-embedded-protocol-alpha/tezos-embedded-protocol-alpha.14.0
    • tezos-embedded-protocol-demo-counter/tezos-embedded-protocol-demo-counter.14.0
    • tezos-embedded-protocol-demo-noops/tezos-embedded-protocol-demo-noops.14.0
    • tezos-embedded-protocol-genesis/tezos-embedded-protocol-genesis.14.0
    • tezos-error-monad/tezos-error-monad.14.0
    • tezos-event-logging-test-helpers/tezos-event-logging-test-helpers.14.0
    • tezos-event-logging/tezos-event-logging.14.0
    • tezos-hacl/tezos-hacl.14.0
    • tezos-injector-013-PtJakart/tezos-injector-013-PtJakart.14.0
    • tezos-injector-014-PtKathma/tezos-injector-014-PtKathma.14.0
    • tezos-injector-alpha/tezos-injector-alpha.14.0
    • tezos-lwt-result-stdlib/tezos-lwt-result-stdlib.14.0
    • tezos-micheline/tezos-micheline.14.0
    • tezos-mockup-commands/tezos-mockup-commands.14.0
    • tezos-mockup-proxy/tezos-mockup-proxy.14.0
    • tezos-mockup-registration/tezos-mockup-registration.14.0
    • tezos-mockup/tezos-mockup.14.0
    • tezos-node/tezos-node.14.0
    • tezos-p2p-services/tezos-p2p-services.14.0
    • tezos-p2p/tezos-p2p.14.0
    • tezos-protocol-000-Ps9mPmXa/tezos-protocol-000-Ps9mPmXa.14.0
    • tezos-protocol-001-PtCJ7pwo/tezos-protocol-001-PtCJ7pwo.14.0
    • tezos-protocol-002-PsYLVpVv/tezos-protocol-002-PsYLVpVv.14.0
    • tezos-protocol-003-PsddFKi3/tezos-protocol-003-PsddFKi3.14.0
    • tezos-protocol-004-Pt24m4xi/tezos-protocol-004-Pt24m4xi.14.0
    • tezos-protocol-005-PsBABY5H/tezos-protocol-005-PsBABY5H.14.0
    • tezos-protocol-005-PsBabyM1/tezos-protocol-005-PsBabyM1.14.0
    • tezos-protocol-006-PsCARTHA/tezos-protocol-006-PsCARTHA.14.0
    • tezos-protocol-007-PsDELPH1/tezos-protocol-007-PsDELPH1.14.0
    • tezos-protocol-008-PtEdo2Zk/tezos-protocol-008-PtEdo2Zk.14.0
    • tezos-protocol-008-PtEdoTez/tezos-protocol-008-PtEdoTez.14.0
    • tezos-protocol-009-PsFLoren/tezos-protocol-009-PsFLoren.14.0
    • tezos-protocol-010-PtGRANAD/tezos-protocol-010-PtGRANAD.14.0
    • tezos-protocol-011-PtHangz2/tezos-protocol-011-PtHangz2.14.0
    • tezos-protocol-012-Psithaca/tezos-protocol-012-Psithaca.14.0
    • tezos-protocol-013-PtJakart/tezos-protocol-013-PtJakart.14.0
    • tezos-protocol-014-PtKathma/tezos-protocol-014-PtKathma.14.0
    • tezos-protocol-alpha/tezos-protocol-alpha.14.0
    • tezos-protocol-compiler/tezos-protocol-compiler.14.0
    • tezos-protocol-demo-counter/tezos-protocol-demo-counter.14.0
    • tezos-protocol-demo-noops/tezos-protocol-demo-noops.14.0
    • tezos-protocol-environment/tezos-protocol-environment.14.0
    • tezos-protocol-genesis/tezos-protocol-genesis.14.0
    • tezos-protocol-plugin-007-PsDELPH1-registerer/tezos-protocol-plugin-007-PsDELPH1-registerer.14.0
    • tezos-protocol-plugin-007-PsDELPH1/tezos-protocol-plugin-007-PsDELPH1.14.0
    • tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos-protocol-plugin-008-PtEdo2Zk-registerer.14.0
    • tezos-protocol-plugin-008-PtEdo2Zk/tezos-protocol-plugin-008-PtEdo2Zk.14.0
    • tezos-protocol-plugin-009-PsFLoren-registerer/tezos-protocol-plugin-009-PsFLoren-registerer.14.0
    • tezos-protocol-plugin-009-PsFLoren/tezos-protocol-plugin-009-PsFLoren.14.0
    • tezos-protocol-plugin-010-PtGRANAD-registerer/tezos-protocol-plugin-010-PtGRANAD-registerer.14.0
    • tezos-protocol-plugin-010-PtGRANAD/tezos-protocol-plugin-010-PtGRANAD.14.0
    • tezos-protocol-plugin-011-PtHangz2-registerer/tezos-protocol-plugin-011-PtHangz2-registerer.14.0
    • tezos-protocol-plugin-011-PtHangz2/tezos-protocol-plugin-011-PtHangz2.14.0
    • tezos-protocol-plugin-012-Psithaca-registerer/tezos-protocol-plugin-012-Psithaca-registerer.14.0
    • tezos-protocol-plugin-012-Psithaca/tezos-protocol-plugin-012-Psithaca.14.0
    • tezos-protocol-plugin-013-PtJakart-registerer/tezos-protocol-plugin-013-PtJakart-registerer.14.0
    • tezos-protocol-plugin-013-PtJakart/tezos-protocol-plugin-013-PtJakart.14.0
    • tezos-protocol-plugin-014-PtKathma-registerer/tezos-protocol-plugin-014-PtKathma-registerer.14.0
    • tezos-protocol-plugin-014-PtKathma/tezos-protocol-plugin-014-PtKathma.14.0
    • tezos-protocol-plugin-alpha-registerer/tezos-protocol-plugin-alpha-registerer.14.0
    • tezos-protocol-plugin-alpha/tezos-protocol-plugin-alpha.14.0
    • tezos-protocol-updater/tezos-protocol-updater.14.0
    • tezos-proxy-server-config/tezos-proxy-server-config.14.0
    • tezos-proxy-server/tezos-proxy-server.14.0
    • tezos-proxy/tezos-proxy.14.0
    • tezos-requester/tezos-requester.14.0
    • tezos-rpc-http-client-unix/tezos-rpc-http-client-unix.14.0
    • tezos-rpc-http-client/tezos-rpc-http-client.14.0
    • tezos-rpc-http-server/tezos-rpc-http-server.14.0
    • tezos-rpc-http/tezos-rpc-http.14.0
    • tezos-rpc/tezos-rpc.14.0
    • tezos-sapling/tezos-sapling.14.0
    • tezos-scoru-wasm/tezos-scoru-wasm.14.0
    • tezos-shell-context/tezos-shell-context.14.0
    • tezos-shell-services-test-helpers/tezos-shell-services-test-helpers.14.0
    • tezos-shell-services/tezos-shell-services.14.0
    • tezos-shell/tezos-shell.14.0
    • tezos-signer-backends/tezos-signer-backends.14.0
    • tezos-signer-services/tezos-signer-services.14.0
    • tezos-signer/tezos-signer.14.0
    • tezos-stdlib-unix/tezos-stdlib-unix.14.0
    • tezos-stdlib/tezos-stdlib.14.0
    • tezos-store/tezos-store.14.0
    • tezos-test-helpers-extra/tezos-test-helpers-extra.14.0
    • tezos-test-helpers/tezos-test-helpers.14.0
    • tezos-tx-rollup-013-PtJakart/tezos-tx-rollup-013-PtJakart.14.0
    • tezos-tx-rollup-014-PtKathma/tezos-tx-rollup-014-PtKathma.14.0
    • tezos-tx-rollup-alpha/tezos-tx-rollup-alpha.14.0
    • tezos-tx-rollup-client-013-PtJakart/tezos-tx-rollup-client-013-PtJakart.14.0
    • tezos-tx-rollup-client-014-PtKathma/tezos-tx-rollup-client-014-PtKathma.14.0
    • tezos-tx-rollup-client-alpha/tezos-tx-rollup-client-alpha.14.0
    • tezos-tx-rollup-node-013-PtJakart/tezos-tx-rollup-node-013-PtJakart.14.0
    • tezos-tx-rollup-node-014-PtKathma/tezos-tx-rollup-node-014-PtKathma.14.0
    • tezos-tx-rollup-node-alpha/tezos-tx-rollup-node-alpha.14.0
    • tezos-validation/tezos-validation.14.0
    • tezos-validator/tezos-validator.14.0
    • tezos-version/tezos-version.14.0
    • tezos-webassembly-interpreter/tezos-webassembly-interpreter.14.0
    • tezos-workers/tezos-workers.14.0
    • tezos/tezos.14.0

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

168 files changed

+5426
-0
lines changed
Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
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"
7+
license: "MIT"
8+
depends: [
9+
"dune" { >= "3.0" }
10+
"alcotest-lwt" { >= "1.5.0" }
11+
"qcheck-alcotest" { >= "0.18" }
12+
"tezos-test-helpers" { = version }
13+
"tezos-base" { = version }
14+
"tezos-micheline" { = version }
15+
"tezos-stdlib-unix" { = version }
16+
"tezos-protocol-012-Psithaca" { = version }
17+
"tezos-client-012-Psithaca" { = version }
18+
"tezos-protocol-environment" { = version }
19+
"tezos-protocol-plugin-012-Psithaca" { = version }
20+
"tezos-shell-services" { = version }
21+
]
22+
build: [
23+
["rm" "-r" "vendors"]
24+
["dune" "build" "-p" name "-j" jobs]
25+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
26+
]
27+
synopsis: "Tezos/Protocol: protocol testing framework"
28+
url {
29+
src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
30+
checksum: [
31+
"sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1"
32+
"sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd"
33+
]
34+
}
Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
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"
7+
license: "MIT"
8+
depends: [
9+
"dune" { >= "3.0" }
10+
"alcotest-lwt" { >= "1.5.0" }
11+
"qcheck-alcotest" { >= "0.18" }
12+
"tezos-test-helpers" { = version }
13+
"tezos-base" { = version }
14+
"tezos-micheline" { = version }
15+
"tezos-stdlib-unix" { = version }
16+
"tezos-protocol-013-PtJakart" { = version }
17+
"tezos-client-013-PtJakart" { = version }
18+
"tezos-protocol-environment" { = version }
19+
"tezos-protocol-plugin-013-PtJakart" { = version }
20+
"tezos-shell-services" { = version }
21+
]
22+
build: [
23+
["rm" "-r" "vendors"]
24+
["dune" "build" "-p" name "-j" jobs]
25+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
26+
]
27+
synopsis: "Tezos/Protocol: protocol testing framework"
28+
url {
29+
src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
30+
checksum: [
31+
"sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1"
32+
"sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd"
33+
]
34+
}
Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
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"
7+
license: "MIT"
8+
depends: [
9+
"dune" { >= "3.0" }
10+
"alcotest-lwt" { >= "1.5.0" }
11+
"qcheck-alcotest" { >= "0.18" }
12+
"tezos-test-helpers" { = version }
13+
"tezos-base" { = version }
14+
"tezos-micheline" { = version }
15+
"tezos-stdlib-unix" { = version }
16+
"tezos-protocol-014-PtKathma" { = version }
17+
"tezos-client-014-PtKathma" { = version }
18+
"tezos-protocol-environment" { = version }
19+
"tezos-protocol-plugin-014-PtKathma" { = version }
20+
"tezos-shell-services" { = version }
21+
]
22+
build: [
23+
["rm" "-r" "vendors"]
24+
["dune" "build" "-p" name "-j" jobs]
25+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
26+
]
27+
synopsis: "Tezos/Protocol: protocol testing framework"
28+
url {
29+
src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
30+
checksum: [
31+
"sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1"
32+
"sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd"
33+
]
34+
}
Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
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"
7+
license: "MIT"
8+
depends: [
9+
"dune" { >= "3.0" }
10+
"tezos-base" { = version }
11+
"tezos-protocol-012-Psithaca" { = version }
12+
"tezos-client-012-Psithaca" { = version }
13+
"tezos-client-commands" { = version }
14+
"tezos-baking-012-Psithaca-commands" { = version }
15+
"tezos-stdlib-unix" { = version }
16+
"tezos-client-base-unix" { = version }
17+
]
18+
build: [
19+
["rm" "-r" "vendors"]
20+
["dune" "build" "-p" name "-j" jobs]
21+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
22+
]
23+
synopsis: "Tezos/Protocol: accuser binary"
24+
url {
25+
src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
26+
checksum: [
27+
"sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1"
28+
"sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd"
29+
]
30+
}
Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
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"
7+
license: "MIT"
8+
depends: [
9+
"dune" { >= "3.0" }
10+
"tezos-base" { = version }
11+
"tezos-protocol-013-PtJakart" { = version }
12+
"tezos-client-013-PtJakart" { = version }
13+
"tezos-client-commands" { = version }
14+
"tezos-baking-013-PtJakart-commands" { = version }
15+
"tezos-stdlib-unix" { = version }
16+
"tezos-client-base-unix" { = version }
17+
]
18+
build: [
19+
["rm" "-r" "vendors"]
20+
["dune" "build" "-p" name "-j" jobs]
21+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
22+
]
23+
synopsis: "Tezos/Protocol: accuser binary"
24+
url {
25+
src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
26+
checksum: [
27+
"sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1"
28+
"sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd"
29+
]
30+
}
Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
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"
7+
license: "MIT"
8+
depends: [
9+
"dune" { >= "3.0" }
10+
"tezos-base" { = version }
11+
"tezos-protocol-014-PtKathma" { = version }
12+
"tezos-client-014-PtKathma" { = version }
13+
"tezos-client-commands" { = version }
14+
"tezos-baking-014-PtKathma-commands" { = version }
15+
"tezos-stdlib-unix" { = version }
16+
"tezos-client-base-unix" { = version }
17+
]
18+
build: [
19+
["rm" "-r" "vendors"]
20+
["dune" "build" "-p" name "-j" jobs]
21+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
22+
]
23+
synopsis: "Tezos/Protocol: accuser binary"
24+
url {
25+
src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
26+
checksum: [
27+
"sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1"
28+
"sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd"
29+
]
30+
}
Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
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"
7+
license: "MIT"
8+
depends: [
9+
"dune" { >= "3.0" }
10+
"tezos-base" { = version }
11+
"tezos-protocol-alpha" { = version }
12+
"tezos-client-alpha" { = version }
13+
"tezos-client-commands" { = version }
14+
"tezos-baking-alpha-commands" { = version }
15+
"tezos-stdlib-unix" { = version }
16+
"tezos-client-base-unix" { = version }
17+
]
18+
build: [
19+
["rm" "-r" "vendors"]
20+
["dune" "build" "-p" name "-j" jobs]
21+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
22+
]
23+
synopsis: "Tezos/Protocol: accuser binary"
24+
url {
25+
src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
26+
checksum: [
27+
"sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1"
28+
"sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd"
29+
]
30+
}
Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
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"
7+
license: "MIT"
8+
depends: [
9+
"dune" { >= "3.0" }
10+
"alcotest-lwt" { >= "1.5.0" }
11+
"qcheck-alcotest" { >= "0.18" }
12+
"tezos-test-helpers" { = version }
13+
"tezos-base" { = version }
14+
"tezos-micheline" { = version }
15+
"tezos-stdlib-unix" { = version }
16+
"tezos-protocol-alpha" { = version }
17+
"tezos-client-alpha" { = version }
18+
"tezos-protocol-environment" { = version }
19+
"tezos-protocol-plugin-alpha" { = version }
20+
"tezos-shell-services" { = version }
21+
]
22+
build: [
23+
["rm" "-r" "vendors"]
24+
["dune" "build" "-p" name "-j" jobs]
25+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
26+
]
27+
synopsis: "Tezos/Protocol: protocol testing framework"
28+
url {
29+
src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
30+
checksum: [
31+
"sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1"
32+
"sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd"
33+
]
34+
}
Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
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"
7+
license: "MIT"
8+
depends: [
9+
"dune" { >= "3.0" }
10+
"tezos-base" { = version }
11+
"tezos-protocol-012-Psithaca" { = version }
12+
"tezos-client-012-Psithaca" { = version }
13+
"tezos-client-commands" { = version }
14+
"tezos-baking-012-Psithaca-commands" { = version }
15+
"tezos-stdlib-unix" { = version }
16+
"tezos-client-base-unix" { = version }
17+
]
18+
build: [
19+
["rm" "-r" "vendors"]
20+
["dune" "build" "-p" name "-j" jobs]
21+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
22+
]
23+
synopsis: "Tezos/Protocol: baker binary"
24+
url {
25+
src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
26+
checksum: [
27+
"sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1"
28+
"sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd"
29+
]
30+
}
Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
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"
7+
license: "MIT"
8+
depends: [
9+
"dune" { >= "3.0" }
10+
"tezos-base" { = version }
11+
"tezos-protocol-013-PtJakart" { = version }
12+
"tezos-client-013-PtJakart" { = version }
13+
"tezos-client-commands" { = version }
14+
"tezos-baking-013-PtJakart-commands" { = version }
15+
"tezos-stdlib-unix" { = version }
16+
"tezos-client-base-unix" { = version }
17+
]
18+
build: [
19+
["rm" "-r" "vendors"]
20+
["dune" "build" "-p" name "-j" jobs]
21+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
22+
]
23+
synopsis: "Tezos/Protocol: baker binary"
24+
url {
25+
src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
26+
checksum: [
27+
"sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1"
28+
"sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd"
29+
]
30+
}

0 commit comments

Comments
 (0)