)]}' { "checker-framework": { "name": "typetools/checker-framework", "clone_url": "https://third-party-mirror.googlesource.com/typetools/checker-framework" } }