)]}'
{
  "id": "1f788f1fcc0d1d78112bd44c35ff3c3f30d07c3c",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "ec7add0b48dee49255a9ac6ec3324ee81aaaebdd",
  "path": "lean.code-workspace"
}