swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
History
Tip revision: ddfbb8d6a17515f834eff1a5a05a8664d2b37b9e authored by Marge Bot on 12 March 2024, 19:34:11 UTC
Merge tezos/tezos!12427: Nix: Fix shell.nix and default.nix after opam-repo refactor
Tip revision: ddfbb8d
File Mode Size
plonk-aggregation
test
README.md -rw-r--r-- 404 bytes
circuit.ml -rw-r--r-- 30.0 KB
dune -rw-r--r-- 264 bytes
main_protocol.ml -rw-r--r-- 20.6 KB
pi_parameters.ml -rw-r--r-- 3.5 KB

README.md

back to top