)]}'
{
  "id": "958d8840b60551de7bf27a65204c95ed2d1400b7",
  "repo": "third_party/nextpnr",
  "revision": "ef35b41e0f9d98a21d21c0ec7cc142d30196a6ea",
  "path": "gui/designwidget.cc"
}