https://gitlab.com/tezos/tezos
Raw File
Tip revision: 7100bf1e1f726ac9422211ca0cfdab509faa1a32 authored by Arvid Jakobsson on 05 April 2023, 09:48:43 UTC
Scripts: add [gitlab/run_pipeline.sh]
Tip revision: 7100bf1
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