)]}'
{
  "id": "24961d1159bf95db201ccd79bbd97a2866d54a2b",
  "repo": "eigen",
  "revision": "eec857f933da8ec7ce35b4e172881a914ac625f9",
  "path": "debug/gdb/printers.py"
}
