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"}
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.0/tezos-18.0.tar.gz"
33 checksum: [
34 "sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c"
35 "sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a"
36 ]
37}
38conflicts: [
39 "stdcompat" {< "19"}
40]