)]}'
{
  "id": "c78d7232e44c771b33de584ddc52ff23da5ca4ee",
  "repo": "third_party/nextpnr",
  "revision": "a6d702d85d63d2911f2da4415e2695da9e45941c",
  "path": "gui/designwidget.h"
}