)]}'
{
  "debugprobe": {
    "name": "third_party/github/raspberrypi/debugprobe",
    "clone_url": "https://pigweed.googlesource.com/third_party/github/raspberrypi/debugprobe"
  },
  "pico-sdk": {
    "name": "third_party/github/raspberrypi/pico-sdk",
    "clone_url": "https://pigweed.googlesource.com/third_party/github/raspberrypi/pico-sdk"
  },
  "picotool": {
    "name": "third_party/github/raspberrypi/picotool",
    "clone_url": "https://pigweed.googlesource.com/third_party/github/raspberrypi/picotool"
  }
}