)]}'
{
  "id": "55a372c4eecb8cea71ffa4206b36c761bf0241e5",
  "repo": "3p/sel4proj/sel4_projects_libs",
  "revision": "636a2d078dfed558bcecba1009b49a795def485f",
  "path": "libsel4rpc/src/server.c"
}