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