)]}'
{
  "id": "bd1c6c5a753f07ae1e8d4737ac1a968f5880df2b",
  "repo": "third_party/nextpnr",
  "revision": "ad84df7974a82d657938a226da2ceace150cc068",
  "path": "gui/designwidget.cc"
}