tezos-protocol-environment-sigs

Tezos: restricted typing environment for the economic protocols
Description
Install
Sources
tezos-v10.2.tar.bz2
sha256=6b33e0549574c89a63538c94ce5555dd141e3c0fb5d934abff07d702fa3244d2
sha512=681a197baabec6e2f806871d43490382243207518f8fcf932741cd314d8717e46db2b6a5adc222f8726083a5dd911083b4931b7e878ab815f8f1a32763d1bf93
Dependencies
tezos-stdlib
with-test & = version
ocaml
>= "4.8.0"
dune
>= "2.5"
Reverse Dependencies