)]}'
{
  "id": "cb8db3c76273bda8100f71f277ec2e40c911f8b3",
  "repo": "3p/sel4/capdl",
  "revision": "47a2b3def99641b972e5cbc9c4f1fdf8ed21e7fe",
  "path": "capDL-tool/camkes-adder-arm.thy.right"
}