)]}'
{
  "id": "1617340bf18342821ba6a853ede14d5b8c68706a",
  "repo": "third_party/nextpnr",
  "revision": "19cb4ca554102a70edd6b6bb6c836e1474a73d4f",
  "path": "gui/designwidget.cc"
}