)]}' { "id": "7223160658b63c363541002a0a6d936411635166", "repo": "plan9", "revision": "1f1ab4ccbbec9c92b780f6a60ff9730126659a87", "path": "troff/font/devutf/DejaVuSerif" }