)]}'
{
  "id": "89c6e70249d757ce6cc7fb3d09d6e8535e4699ba",
  "repo": "third_party/nextpnr",
  "revision": "f0abbc71b56a54e1de0a5e775f77a1d14dfea681",
  "path": "gui/designwidget.h"
}