https://gitlab.com/tezos/tezos
Raw File
Tip revision: 5f51c434c39d9ce85ec82cb9d38b9fa3f4b9e221 authored by Felix Puscasu on 15 February 2024, 16:44:21 UTC
RISC-V: Smrnmi-ext: WARL checks
Tip revision: 5f51c43
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name tezos_stdlib)
 (public_name octez-libs.stdlib)
 (instrumentation (backend bisect_ppx))
 (libraries
  hex
  zarith
  zarith_stubs_js
  lwt
  aches)
 (inline_tests (flags -verbose) (modes native js))
 (preprocess (pps ppx_expect))
 (js_of_ocaml (javascript_files tzBytes_js.js))
 (foreign_stubs (language c) (names tzBytes_c)))
back to top