)]}'
{
  "id": "f30331becc112d1102ab36dee7e62b92282285f4",
  "repo": "3p/sel4/capdl",
  "revision": "fda92f51e829c806c8437c7c475c6345a2b4c4dc",
  "path": "capDL-tool/CapDL/PrintUtils.hs"
}