)]}'
{
  "id": "06652dc8ca67fa34c2fb1b0e6ced7fb6182ef15c",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "c81b10f2968db8c6cb86fa0c31bc6f7f4624017a",
  "path": "src/kernel/level.cpp"
}