)]}'
{
  "id": "8c0d754ea4e678371fe234e7be37c158432e5a2b",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "refs/heads/upstream/floatbits",
  "path": "LICENSES"
}