Up.dep.hub: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 639-659 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=639&end_line=659

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# the hub's word on the new hash
def dep.hub(
  hubbed: Hubbed,
  +dep: M.Dep,
  +hash: String,
  +rev: String,
  +root: String,
  +nar: String,
  manifest: String,
  srcs: List<&2, String>,
  +branch: String
) -> Fate:
  match hubbed:
    case Clear{}:
      dep.moved(dep, hash, rev, root, nar, manifest, srcs, branch)
    case Clash{}:
      Halts{"ez: " ++ M.dep.name(dep) ++ ": hub digest does not match " ++ hash}
    case HubWait{ask}:
      Waits{[ask]}
    case HubNo{why}:
      Halts{why}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Dep
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=dep.name
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Fate
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Hubbed
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=dep.moved