)]}' { "id": "947888dcb5acb516dd4e7fe1952654d4fe3c8dc0", "repo": "plan9", "revision": "b15fd97627767291628309677c40b3f40b868497", "path": "dist/checkman.awk" }