)]}'
{
  "id": "c0e877bedad3efa3e3c5b80631300d32747ad132",
  "repo": "plan9",
  "revision": "8ecb4ffe4c618bb484299a4a3b29f2a991903e53",
  "path": "src/cmd/proof/mkfile"
}