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

(library
 (name tezos_protocol_plugin_010_PtGRANAD)
 (public_name octez-protocol-010-PtGRANAD-libs.plugin)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.base
  tezos-protocol-010-PtGRANAD.protocol)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_base.TzPervasives.Error_monad_legacy
  -open Tezos_protocol_010_PtGRANAD)
 (modules (:standard \ Plugin_registerer)))

(documentation (package octez-protocol-010-PtGRANAD-libs))

(library
 (name tezos_protocol_plugin_010_PtGRANAD_registerer)
 (public_name octez-protocol-010-PtGRANAD-libs.plugin-registerer)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.base
  tezos-protocol-010-PtGRANAD.embedded-protocol
  octez-protocol-010-PtGRANAD-libs.plugin
  octez-shell-libs.validation)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_base.TzPervasives.Error_monad_legacy
  -open Tezos_embedded_protocol_010_PtGRANAD
  -open Tezos_protocol_plugin_010_PtGRANAD
  -open Tezos_validation)
 (modules Plugin_registerer))