)]}'
{
  "id": "1e834a7b2cb990aa3917578ee9c4081d727484f8",
  "repo": "external/github.com/google/wuffs",
  "revision": "39deb24f408cad00676d165e389dc5691cd92d5d",
  "path": "script/process-json-numbers.c"
}