Manifest.source.url: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/manifest.bend as Manifest
Lines 356-364 of ezx@1.11.0.0/src/ledger/manifest.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&start_line=356&end_line=364

import Base

# the repo a dependency was vendored from, or "" when it is a hub package
def source.url(src: Source) -> String:
  match src:
    case Hub{_named}:
      ""
    case Git{url, _rev, _tag, _root, _nar, _vend}:
      url
    case Member{_path, _named}:
      ""

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Source