)]}'
{
  "id": "708c22e3a22c995ccb512b582f9e0de815548f07",
  "repo": "plan9",
  "revision": "b15fd97627767291628309677c40b3f40b868497",
  "path": "postscript/font/dejavu/DejaVuSans23"
}