)]}'
{
  "id": "a0974ea8c6abd9c1ac1d5a78198871995ac732c0",
  "repo": "third_party/nextpnr",
  "revision": "67488f780c0ddf6cd4fda38214f4c3ed651d9988",
  "path": "gui/designwidget.cc"
}