; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name tezos_protocol_plugin_015_PtLimaPt)
 (public_name tezos-protocol-plugin-015-PtLimaPt)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-protocol-015-PtLimaPt)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_base.TzPervasives.Error_monad.Legacy_monad_globals
  -open Tezos_protocol_015_PtLimaPt)
 (modules (:standard \ Plugin_registerer)))

(library
 (name tezos_protocol_plugin_015_PtLimaPt_registerer)
 (public_name tezos-protocol-plugin-015-PtLimaPt-registerer)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-embedded-protocol-015-PtLimaPt
  tezos-protocol-plugin-015-PtLimaPt
  tezos-shell)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_base.TzPervasives.Error_monad.Legacy_monad_globals
  -open Tezos_embedded_protocol_015_PtLimaPt
  -open Tezos_protocol_plugin_015_PtLimaPt
  -open Tezos_shell)
 (modules Plugin_registerer))