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