)]}'
{
  "id": "b708b6349d4d4ef67542db92258ef943deac337e",
  "repo": "third_party/github/raspberrypi/pico-sdk",
  "revision": "de0416a0790e3f36c098daa70b35a3cc7b1060ef",
  "path": "pico_sdk_init.cmake"
}