)]}' { "id": "8bd4c7e09e9b2a2aeee95e2b65190152e454f1f5", "repo": "sdk.git", "revision": "refs/tags/2.13.0-2.0.dev", "path": "pkg/front_end/testing.json" }