https://gitlab.com/tezos/tezos
Raw File
Tip revision: dfce42aeaa4971d57c67da05f3336f965e88c1b4 authored by Ole Krüger on 06 September 2022, 16:04:49 UTC
fixup: Add weighted helper
Tip revision: dfce42a
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name tezos_proxy_server_config)
 (public_name tezos-proxy-server-config)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-stdlib-unix
  uri)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives))
back to top