in tools/registry.py [0:0]
def add_dep(self, module_name, version): self.deps.append((module_name, version)) return self