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