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