swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
Raw File
Tip revision: 285427db45366c31b54022f57c2ac75fa3e5b88b authored by Marge Bot on 05 April 2024, 12:53:28 UTC
Merge tezos/tezos!12676: RISC-V: Distinguish physical & virtual test environments
Tip revision: 285427d
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name aplonk)
 (public_name octez-libs.aplonk)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.plonk.aggregation)
 (preprocess (pps ppx_repr)))
back to top