)]}'
{
  "id": "ac8e23f08c5a133ebae8db61179252d652a08d14",
  "repo": "platform/external/python",
  "revision": "d96f5be3e8a6abeb1d16e6bcc4b0704a8deee8d7",
  "path": "Doc/lib/libreadline.tex"
}