)]}'
{
  "id": "c056004bd926440449a6a3bb0be060c447012d98",
  "repo": "3p/sel4/capdl",
  "revision": "3ce8b9ddf2c74daf5abafda42c784cd2239cbcf1",
  "path": "CMakeLists.txt"
}