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