)]}'
{
  "id": "ed148f0e3366061c4fa5b61711c5370197f48077",
  "repo": "3p/sel4/capdl",
  "revision": "c56a5a768b148f1ee9a3cd109eb3208b1905b9bd",
  "path": "capDL-tool/CapDL/STCC.hs"
}