)]}'
{
  "id": "25b645189ce2a78e830c10be32a9ec406299c70d",
  "repo": "miri",
  "revision": "8871ffcebe7895dc76c4e16c033a962e2dbba13d",
  "path": "src/clock.rs"
}