)]}'
{
  "id": "e6c8112b8640e02771088fb932a48185c2ab21c9",
  "repo": "mojo-tools",
  "revision": "688f68eedbdac924d29c4e77aa9597cb063fd47a",
  "path": "sandbox/linux/system_headers/linux_time.h"
}