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