)]}'
{
  "id": "d9bfd50e798ff551e7f3cf8878015b4016f0c4b2",
  "repo": "3p/sel4/camkes",
  "revision": "cb16a1c46eee4d9c08d81dce135619acb77f6e92",
  "path": "apps/cakeml_regex/interfaces/TransferString.idl4"
}