# This file was automatically generated, do not edit. # Edit file manifest/main.ml instead. opam-version: "2.0" maintainer: "contact@tezos.com" authors: ["Tezos devteam"] homepage: "https://www.tezos.com/" bug-reports: "https://gitlab.com/tezos/tezos/issues" dev-repo: "git+https://gitlab.com/tezos/tezos.git" license: "MIT" depends: [ "dune" { >= "3.0" } "alcotest-lwt" { >= "1.5.0" } "qcheck-alcotest" { >= "0.18" } "tezos-test-helpers" "tezos-base" "tezos-micheline" "tezos-stdlib-unix" "tezos-protocol-alpha" "tezos-client-alpha" "tezos-protocol-environment" "tezos-protocol-plugin-alpha" "tezos-shell-services" "tezos-plompiler" { >= "0.1.2" } "tezos-crypto-dal" ] build: [ ["rm" "-r" "vendors"] ["dune" "build" "-p" name "-j" jobs] ["dune" "runtest" "-p" name "-j" jobs] {with-test} ] synopsis: "Tezos/Protocol: protocol testing framework"