)]}'
{
  "id": "1b0e617e4cfcd7f2c73a3f6d90003228e0b48a43",
  "repo": "third_party/nextpnr",
  "revision": "1e8e873c9fe4b0fdd69055b0251f9e71db3849c5",
  "path": "gui/designwidget.cc"
}