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