)]}'
{
  "id": "393f1cbcb46bc1c694cc10e7893894505565e3be",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "e29d75a9610d26e025d01d453989de5110cfb985",
  "path": "src/Lean/Widget/InteractiveCode.lean"
}