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

(library
 (name tezos_smart_rollup_layer2_018_Proxford)
 (public_name octez-protocol-018-Proxford-libs.smart-rollup-layer2)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.base
  tezos-protocol-018-Proxford.protocol
  octez-injector
  octez-l2-libs.smart-rollup)
 (inline_tests (flags -verbose) (modes native))
 (preprocess (pps ppx_expect))
 (library_flags (:standard -linkall))
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_protocol_018_Proxford
  -open Octez_injector
  -open Octez_smart_rollup))