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" & < "3.11" }
10 "ocaml" { >= "4.14" }
11 "octez-libs" { = version }
12 "octez-l2-libs" { = version }
13 "data-encoding" { >= "0.7.1" & < "1.0.0" }
14 "bls12-381" { = version }
15 "zarith" { >= "1.12" & < "1.13" }
16 "zarith_stubs_js"
17 "class_group_vdf" { >= "0.0.4" }
18 "aches" { >= "1.0.0" }
19 "aches-lwt" { >= "1.0.0" }
20 "tezt" { with-test & >= "3.1.1" & < "4.0.0" }
21 "octez-alcotezt" { with-test & = version }
22 "qcheck-alcotest" { with-test & >= "0.20" }
23 "lwt" { with-test & >= "5.6.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/v18.1/tezos-18.1.tar.gz"
33 checksum: [
34 "sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d"
35 "sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a"
36 ]
37}
38conflicts: [
39 "stdcompat" {< "19"}
40]