https://gitlab.com/tezos/tezos
Raw File
Tip revision: 0b1402962cf4270db3811b009775a1be9096ad28 authored by Yann Regis-Gianas on 02 December 2022, 08:12:49 UTC
Proto,SCORU: Require conflicting commitments hashes to start game
Tip revision: 0b14029
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(executable
 (name tztop_main)
 (public_name tztop)
 (package internal-devtools)
 (modes byte)
 (libraries
  octez-protocol-compiler
  tezos-base
  compiler-libs.toplevel
  (select tztop.ml from (utop -> tztop.utop.ml) (-> tztop.vanilla.ml))))
back to top