https://gitlab.com/tezos/tezos
Raw File
Tip revision: 399e28e0259d258a46c8658f8b948863cf1c12ea authored by Marge Bot on 12 January 2024, 14:24:55 UTC
Merge tezos/tezos!11337: RISC-V: WARL checks for misa CSR
Tip revision: 399e28e
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
  octez-libs.base
  octez-libs.stdlib-unix
  uri)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives))
back to top