)]}'
{
  "id": "59ef05d552bb3a053f1d2acc157f8f45c94a9c75",
  "repo": "third_party/github/raspberrypi/pico-sdk",
  "revision": "5be44290896a620ff77129e71ac0fa7e4661cd05",
  "path": "src/rp2040.cmake"
}