)]}'
{
  "id": "1ccf6fcad4a53fb9c81d31273b8c8cb217da2948",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "refs/heads/upstream/repeat",
  "path": "flake.nix"
}