)]}'
{
  "id": "f3046deb986b87de310225a1bd5d58e0a1df63fc",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "refs/heads/upstream/lean-sym-interactive-8",
  "path": "flake.lock"
}