https://gitlab.com/tezos/tezos
Raw File
Tip revision: 0ac3e074e833f139a3719e1a67f248b4f2962d06 authored by Ding Xiang Fei on 28 July 2022, 16:07:56 UTC
Proto: deprecate old ITicket and introduce fallible version
Tip revision: 0ac3e07
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name tezos_store)
 (public_name tezos-store)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  lwt-watcher
  tezos-shell-services
  tezos-validation
  tezos-context-ops
  tezos-store.shared)
 (flags
  (:standard)
  -open Tezos_base
  -open Tezos_base.TzPervasives
  -open Tezos_shell_services
  -open Tezos_validation
  -open Tezos_context_ops
  -open Tezos_store_shared)
 (virtual_modules store)
 (default_implementation tezos-store.real))
back to top