)]}'
{
  "id": "2c3fccfa3bc92f58e6d6f0f5cb73570f47636d9e",
  "repo": "eigen",
  "revision": "2601a6cf4d62562240ab8d1cb795273b178d672b",
  "path": "debug/gdb/printers.py"
}
