Opam Package tezos-protocol-plugin-008-PtEdo2Zk-registerer.8.2

Package info

opam-nametezos-protocol-plugin-008-PtEdo2Zk-registerer
opam-version8.2
synopsisTezos/Protocol: protocol plugin registerer
authors
  • Tezos devteam
homepagehttps://www.tezos.com/
licenseMIT
deps (2)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

tezos-protocol-plugin-008-PtEdo2Zk-registerer

Package files

lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos_protocol_plugin_008_PtEdo2Zk_registerer__Registerer.cmx
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos_protocol_plugin_008_PtEdo2Zk_registerer__Registerer.cmt
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos_protocol_plugin_008_PtEdo2Zk_registerer__Registerer.cmi
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos_protocol_plugin_008_PtEdo2Zk_registerer.ml
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos_protocol_plugin_008_PtEdo2Zk_registerer.cmxs
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos_protocol_plugin_008_PtEdo2Zk_registerer.cmxa
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos_protocol_plugin_008_PtEdo2Zk_registerer.cmx
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos_protocol_plugin_008_PtEdo2Zk_registerer.cmt
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos_protocol_plugin_008_PtEdo2Zk_registerer.cmi
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos_protocol_plugin_008_PtEdo2Zk_registerer.cma
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/tezos_protocol_plugin_008_PtEdo2Zk_registerer.a
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/registerer.ml
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/opam
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/dune-package
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer/META
lib/tezos-protocol-plugin-008-PtEdo2Zk-registerer