Opam Package tezos-embedded-protocol-008-PtEdo2Zk.8.2

Package info

opam-nametezos-embedded-protocol-008-PtEdo2Zk
opam-version8.2
synopsisTezos/Protocol: economic-protocol definition, embedded in `tezos-node`
authors
  • Tezos devteam
homepagehttps://www.tezos.com/
licenseMIT
deps (3)
revdeps (2)
metas (1)
libraries (1)

Package modules

Package sources

tezos-embedded-protocol-008-PtEdo2Zk

Package files

lib/tezos-embedded-protocol-008-PtEdo2Zk/tezos_embedded_protocol_008_PtEdo2Zk__Registerer.cmx
lib/tezos-embedded-protocol-008-PtEdo2Zk/tezos_embedded_protocol_008_PtEdo2Zk__Registerer.cmt
lib/tezos-embedded-protocol-008-PtEdo2Zk/tezos_embedded_protocol_008_PtEdo2Zk__Registerer.cmi
lib/tezos-embedded-protocol-008-PtEdo2Zk/tezos_embedded_protocol_008_PtEdo2Zk.ml
lib/tezos-embedded-protocol-008-PtEdo2Zk/tezos_embedded_protocol_008_PtEdo2Zk.cmxs
lib/tezos-embedded-protocol-008-PtEdo2Zk/tezos_embedded_protocol_008_PtEdo2Zk.cmxa
lib/tezos-embedded-protocol-008-PtEdo2Zk/tezos_embedded_protocol_008_PtEdo2Zk.cmx
lib/tezos-embedded-protocol-008-PtEdo2Zk/tezos_embedded_protocol_008_PtEdo2Zk.cmt
lib/tezos-embedded-protocol-008-PtEdo2Zk/tezos_embedded_protocol_008_PtEdo2Zk.cmi
lib/tezos-embedded-protocol-008-PtEdo2Zk/tezos_embedded_protocol_008_PtEdo2Zk.cma
lib/tezos-embedded-protocol-008-PtEdo2Zk/tezos_embedded_protocol_008_PtEdo2Zk.a
lib/tezos-embedded-protocol-008-PtEdo2Zk/registerer.ml
lib/tezos-embedded-protocol-008-PtEdo2Zk/opam
lib/tezos-embedded-protocol-008-PtEdo2Zk/dune-package
lib/tezos-embedded-protocol-008-PtEdo2Zk/META
lib/tezos-embedded-protocol-008-PtEdo2Zk