)]}'
{
  "id": "79373ada6d49a4bab500a74273105f1d188607b3",
  "repo": "sdk.git",
  "revision": "47f7972a2fbb9b906a33d45bb06b10532ca6b41d",
  "path": "pkg/front_end/testcases/general/patching/libraries.json"
}