)]}'
{
  "id": "896ef07170ad9d267f1715ca4dc1b5cc56a64974",
  "repo": "third_party/nextpnr",
  "revision": "e5006d4f2f767aab5c06d4e95151687a54902ad9",
  "path": "gui/designwidget.cc"
}