)]}'
{
  "id": "dcfe305428888f8a19652942ba50501769e9628d",
  "repo": "3p/sel4proj/sel4runtime",
  "revision": "4e4705c7503ea82ed8611fb4f597e66706b57309",
  "path": "Findsel4runtime.cmake"
}
