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