)]}'
{
  "id": "5c72aac41e86c70026264a9cedc468d8be2f8ba4",
  "repo": "3p/sel4/capdl",
  "revision": "81916cc50a13542e92b0e0d6a40256030ccc1407",
  "path": "python-capdl-tool/examples/construct-address-space.py"
}