)]}'
{
  "id": "12b0a8967ae860d269af28107fbfeb7cc5b56231",
  "repo": "3p/sel4/camkes",
  "revision": "refs/heads/master",
  "path": "apps/mutex/interfaces/lock.idl4"
}