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