Update to tezos-plonk 1.0.1 (!380) · Merge requests · Tezos / opam-repository · GitLab

This is an archived project. Repository and other project resources are read-only.

Victor Dumitrescu requested to merge vdum@update_plonk into master Nov 29, 2022

Tezos MR: tezos!6925 (merged)

Edited Nov 29, 2022 by Victor Dumitrescu