Tezos: restricted typing environment for the economic protocols
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-v9.7.tar.bz2
sha256=f7b20fc8052f36c362310bf8947803d1e4b3e62a820a6dff056af576f9e21fe2
sha512=d352bfe6cc4559f1b7d8a30c343c1fdfe921976f5bde21b20cd4ae20ca51ab65f091fc202e29295884e0931d22de36769e943d780eb68800516a5f2ae3587c06
Description
Published: 10 Aug 2021
Dependencies (3)
-
tezos-protocol-environment-packer
= version
-
tezos-crypto
= version
-
dune
>= "2.5"
Dev Dependencies
None
Used by (1)
-
tezos-protocol-environment
= "9.7"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page