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

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

(library
 (name tezos_protocol_plugin_010_PtGRANAD_registerer)
 (public_name tezos-protocol-plugin-010-PtGRANAD-registerer)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-embedded-protocol-010-PtGRANAD
  tezos-protocol-plugin-010-PtGRANAD
  tezos-shell)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_base.TzPervasives.Error_monad.Legacy_monad_globals
  -open Tezos_embedded_protocol_010_PtGRANAD
  -open Tezos_protocol_plugin_010_PtGRANAD
  -open Tezos_shell)
 (modules Plugin_registerer))