Revision 03d4e3099705095f258c7d37b65ac688553f70d0 authored by Nic Volanschi on 21 February 2024, 20:34:04 UTC, committed by Marge Bot on 22 February 2024, 08:38:38 UTC
1 parent 9ebb46e
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.
(library
(name plonk)
(public_name octez-libs.plonk)
(instrumentation (backend bisect_ppx))
(libraries
octez-libs.kzg
octez-libs.plompiler
str)
(preprocess (pps ppx_repr))
(flags
(:standard)
-open Plompiler))
Computing file changes ...
