(lean_version: str, deps: tuple[str, ...])
| 98 | |
| 99 | |
| 100 | def _cache_key(lean_version: str, deps: tuple[str, ...]) -> str: |
| 101 | src_id = str(_LEANPY_ROOT) if _IS_DEV else f"git:{_leanpy_git_rev()}" |
| 102 | blob = f"{lean_version}|{','.join(sorted(deps))}|{src_id}" |
| 103 | return hashlib.sha256(blob.encode()).hexdigest()[:16] |
| 104 | |
| 105 | |
| 106 | class ManagedProject: |