dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.
(library
(name tezos_protocol_environment)
(public_name octez-proto-libs.protocol-environment)
(instrumentation (backend bisect_ppx))
(libraries
zarith
zarith_stubs_js
bls12-381
octez-libs.plonk
octez-libs.crypto-dal
class_group_vdf
aches
aches-lwt
octez-libs.base
octez-libs.tezos-sapling
octez-proto-libs.protocol-environment.sigs
octez-proto-libs.protocol-environment.structs
octez-libs.micheline
octez-libs.tezos-context.memory
octez-l2-libs.scoru-wasm
octez-libs.event-logging)
(flags
(:standard)
-open Plonk
-open Tezos_base.TzPervasives
-open Tezos_micheline))
(documentation (package octez-proto-libs))