this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "contact@tezos.com"
3authors: ["Tezos devteam"]
4homepage: "https://www.tezos.com/"
5bug-reports: "https://gitlab.com/tezos/tezos/issues"
6dev-repo: "git+https://gitlab.com/tezos/tezos.git"
7license: "MIT"
8depends: [
9 "dune" { >= "3.0" }
10 "ocaml" { >= "4.14.0" & < "4.15" }
11 "tezos-stdlib" { = version }
12 "tezos-crypto" { = version }
13 "tezos-lwt-result-stdlib" { = version }
14 "tezos-scoru-wasm" { = version }
15 "data-encoding" { >= "0.7.1" & < "1.0.0" }
16 "bls12-381" { >= "5.0.0" & < "5.1.0" }
17 "tezos-plonk" { >= "1.0.1" & < "2.0.0" }
18 "zarith" { >= "1.12" & < "1.13" }
19 "zarith_stubs_js"
20 "tezos-crypto-dal" { = version }
21 "class_group_vdf" { >= "0.0.4" }
22 "aches" { >= "1.0.0" }
23 "aches-lwt" { >= "1.0.0" }
24 "tezos-base" { = version }
25 "tezos-sapling" { = version }
26 "tezos-micheline" { = version }
27 "tezos-context" { = version }
28 "tezos-event-logging" { = version }
29 "alcotest-lwt" { with-test & >= "1.5.0" }
30 "tezos-test-helpers" { with-test & = version }
31 "qcheck-alcotest" { with-test & >= "0.20" }
32 "lwt" { with-test & >= "5.6.0" }
33]
34build: [
35 ["rm" "-r" "vendors"]
36 ["dune" "build" "-p" name "-j" jobs]
37 ["dune" "runtest" "-p" name "-j" jobs] { with-test & ocaml:native }
38]
39synopsis: "Interface layer between the protocols and the shell"
40url {
41 src: "https://gitlab.com/tezos/tezos/-/archive/v16.0/tezos-16.0.tar.gz"
42 checksum: [
43 "sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55"
44 "sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b"
45 ]
46}
47description: "The protocol-environment is a two-sided component sitting between the shell and
48the protocols.
49
50On one side, it provides a restricted typing environment to compile the
51protocols against. This is a series of modules which replace the standard
52library of OCaml. These modules purposefully omit many functionalities, thus
53preventing the protocols from, say, directly writing to disk.
54
55On the other side, it provides the shell with specific call-sites in the
56protocols. These are the only entry-points into the otherwise black-box
57protocols."