Revision 1143fc9798ec6e5f58164caffdaca7178402e80b authored by Alain Mebsout on 16 November 2022, 15:55:34 UTC, committed by Alain Mebsout on 18 November 2022, 17:03:24 UTC
1 parent 9bd2352
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.
(library
(name tezos_protocol_environment)
(public_name tezos-protocol-environment)
(instrumentation (backend bisect_ppx))
(libraries
zarith
zarith_stubs_js
bls12-381
tezos-plonk
tezos-crypto-dal
class_group_vdf
ringo
ringo-lwt
tezos-base
tezos-sapling
tezos-protocol-environment.sigs
tezos-protocol-environment.structs
tezos-micheline
tezos-context.memory
tezos-scoru-wasm
tezos-event-logging)
(flags
(:standard)
-open Tezos_base.TzPervasives
-open Tezos_micheline))
Computing file changes ...
