Skip to main content

Browse the archive

Revision fcede5a592ca9949c48957984a01c0600e8dca85 authored by G.B. Fefe on 14 April 2022, 21:37:43 UTC, committed by Marge Bot on 07 September 2022, 16:35:22 UTC 
Proto: merge `Seed.cycle_end` into `Delegate.cycle_end`
1 parent 50d1d7b
Raw File
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
  tezos-protocol-compiler
  tezos-base
  compiler-libs.toplevel
  (select tztop.ml from (utop -> tztop.utop.ml) (-> tztop.vanilla.ml))))
back to top