https://gitlab.com/tezos/tezos
Raw File
Tip revision: 124076c722c4512ece34a2fcdbfb2a1f06b2ce62 authored by Thomas Letan on 06 April 2022, 13:39:12 UTC
Proto,tx_rollup: Carbonate the verification of a proof
Tip revision: 124076c
dune-project
(lang dune 2.9)
(formatting (enabled_for ocaml))
; This file was automatically generated, do not edit.
; Edit file manifest/manifest.ml instead.
back to top