)]}'
{
  "id": "37427171b06efa9b2d05065de853f2bf93d63df0",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "refs/heads/upstream/expose-array-back",
  "path": "LICENSES"
}