)]}'
{
  "id": "8a1b1429a70d3183bc13a52b90d4f9fb3ec92956",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "65d3152e53bcda30bac8b508097447f971ea3571",
  "path": "lean.code-workspace"
}