)]}'
{
  "id": "d9de53dbd54552258e10ca41f72b71cd63addb0b",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "refs/heads/upstream/finModDiv",
  "path": "RELEASES.md"
}