Opam Package tezos-embedded-protocol-000-Ps9mPmXa.8.2

Package info

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

Package modules

Package sources

tezos-embedded-protocol-000-Ps9mPmXa

Package files

lib/tezos-embedded-protocol-000-Ps9mPmXa/tezos_embedded_protocol_000_Ps9mPmXa__Registerer.cmx
lib/tezos-embedded-protocol-000-Ps9mPmXa/tezos_embedded_protocol_000_Ps9mPmXa__Registerer.cmt
lib/tezos-embedded-protocol-000-Ps9mPmXa/tezos_embedded_protocol_000_Ps9mPmXa__Registerer.cmi
lib/tezos-embedded-protocol-000-Ps9mPmXa/tezos_embedded_protocol_000_Ps9mPmXa.ml
lib/tezos-embedded-protocol-000-Ps9mPmXa/tezos_embedded_protocol_000_Ps9mPmXa.cmxs
lib/tezos-embedded-protocol-000-Ps9mPmXa/tezos_embedded_protocol_000_Ps9mPmXa.cmxa
lib/tezos-embedded-protocol-000-Ps9mPmXa/tezos_embedded_protocol_000_Ps9mPmXa.cmx
lib/tezos-embedded-protocol-000-Ps9mPmXa/tezos_embedded_protocol_000_Ps9mPmXa.cmt
lib/tezos-embedded-protocol-000-Ps9mPmXa/tezos_embedded_protocol_000_Ps9mPmXa.cmi
lib/tezos-embedded-protocol-000-Ps9mPmXa/tezos_embedded_protocol_000_Ps9mPmXa.cma
lib/tezos-embedded-protocol-000-Ps9mPmXa/tezos_embedded_protocol_000_Ps9mPmXa.a
lib/tezos-embedded-protocol-000-Ps9mPmXa/registerer.ml
lib/tezos-embedded-protocol-000-Ps9mPmXa/opam
lib/tezos-embedded-protocol-000-Ps9mPmXa/dune-package
lib/tezos-embedded-protocol-000-Ps9mPmXa/META
lib/tezos-embedded-protocol-000-Ps9mPmXa