)]}'
{
  "id": "8eb33b2282567c11ec130a4e282cd2ab2def9d60",
  "repo": "third_party/github.com/python/mypy",
  "revision": "116d60bdd3fdfe8d97c6afe99370910db56f1b92",
  "path": "mypyc/options.py"
}