)]}'
{
  "id": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
  "repo": "third_party/github/raspberrypi/pico-sdk",
  "revision": "2cdadce615fbae55b3fb5a76926b23beb1a8ced9",
  "path": "WORKSPACE"
}