Tezos: restricted typing environment for the economic protocols
Description

Install

Documentation www.tezos.com Changelog Edit opam file

Published

10 Aug 2021

Authors

Maintainers

Sources

tezos-v9.7.tar.bz2
sha256=f7b20fc8052f36c362310bf8947803d1e4b3e62a820a6dff056af576f9e21fe2
sha512=d352bfe6cc4559f1b7d8a30c343c1fdfe921976f5bde21b20cd4ae20ca51ab65f091fc202e29295884e0931d22de36769e943d780eb68800516a5f2ae3587c06

Dependencies

tezos-protocol-environment-packer = version
tezos-crypto = version
dune >= "2.5"

Reverse Dependencies

tezos-protocol-environment = "9.7"

Conflicts

None