)]}'
{
  "id": "7a18bdac66500b308ae21c1b5f4ad0653e37a7d9",
  "repo": "third_party/github/raspberrypi/debugprobe",
  "revision": "6c8b1e134ab9bb786a253ab842a3163798756566",
  "path": "src/FreeRTOSConfig.h"
}