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