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