)]}'
{
  "id": "054585853e8b9c8d94340374d0439b36116b5b07",
  "repo": "3p/sel4/camkes",
  "revision": "cb16a1c46eee4d9c08d81dce135619acb77f6e92",
  "path": "apps/RPCOverMultiSharedData/components/Adder/Adder.camkes"
}