Plan.programs: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/doctor/plan.bend as Plan Lines 123-127 of ezx@1.11.0.0/src/doctor/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&start_line=123&end_line=127 import Base # the programs doctor asks for their versions. bend's check report changed # wording in 2.0.32, which the proof gate reads, and the native lane needs a C # compiler, so the version is the finding. def programs(+cc: String) -> List<&2, String>: ["bend", cc.name(cc), "git"] Uses (3): 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=ezx@1.11.0.0/src/doctor/plan.bend&name=cc.name