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

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

(documentation (package octez-protocol-015-PtLimaPt-libs))

(library
 (name tezos_protocol_plugin_015_PtLimaPt_registerer)
 (public_name octez-protocol-015-PtLimaPt-libs.plugin-registerer)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.base
  tezos-protocol-015-PtLimaPt.embedded-protocol
  octez-protocol-015-PtLimaPt-libs.plugin
  octez-shell-libs.validation)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_base.TzPervasives.Error_monad_legacy
  -open Tezos_embedded_protocol_015_PtLimaPt
  -open Tezos_protocol_plugin_015_PtLimaPt
  -open Tezos_validation)
 (modules Plugin_registerer))