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

(library
 (name get_contracts_lib)
 (libraries
  tezos-micheline
  tezos-base
  tezos-store
  tezos-protocol-014-PtKathma
  tezos-client-014-PtKathma
  tezos-protocol-015-PtLimaPt
  tezos-client-015-PtLimaPt
  tezos-protocol-016-PtMumbai
  tezos-client-016-PtMumbai
  tezos-protocol-alpha
  tezos-client-alpha)
 (library_flags (:standard -linkall))
 (flags
  (:standard)
  -open Tezos_micheline
  -open Tezos_base.TzPervasives)
 (modules (:standard \ get_contracts)))

(executable
 (name get_contracts)
 (libraries
  tezos-micheline
  tezos-base
  get_contracts_lib)
 (flags
  (:standard)
  -open Tezos_micheline
  -open Tezos_base.TzPervasives
  -open Get_contracts_lib)
 (modules get_contracts))