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.11.1" }
10 "ocaml" { >= "4.14" }
11 "octez-libs" { = version }
12 "octez-l2-libs" { = version }
13 "data-encoding" { >= "1.0.1" & < "1.1" }
14 "bls12-381" { = version }
15 "zarith" { >= "1.13" & < "1.14" }
16 "zarith_stubs_js" { >= "0.16.1" }
17 "class_group_vdf" { >= "0.0.4" }
18 "aches" { >= "1.0.0" }
19 "aches-lwt" { >= "1.0.0" }
20 "tezt" { with-test & >= "4.0.0" & < "5.0.0" }
21 "octez-alcotezt" { with-test & = version }
22 "qcheck-alcotest" { with-test & >= "0.20" }
23 "lwt" { with-test & >= "5.7.0" }
24]
25build: [
26 ["rm" "-r" "vendors" "contrib"]
27 ["dune" "build" "-p" name "-j" jobs]
28 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
29]
30synopsis: "Octez protocol libraries"
31url {
32 src: "https://gitlab.com/tezos/tezos/-/archive/octez-v20.1/tezos-octez-v20.1.tag.bz2"
33 checksum: [
34 "sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61"
35 "sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65"
36 ]
37}
38conflicts: [
39 "stdcompat" {< "19"}
40]
41available: os != "win32"