)]}'
{
  "id": "bdc6e6b9f50a68a07eb7785f6f4574408e9992db",
  "repo": "3p/sel4/capdl",
  "revision": "58f126398e59e14e9165bdaf813b40b4007acc35",
  "path": "capdl-loader-app/include/capdl.h"
}