)]}'
{
  "id": "3d3b70e43c0ed95dbd1c81571dd985447224a8e0",
  "repo": "third_party/nextpnr",
  "revision": "82ce89e31583946651a597b8acf6a07ea7fe96a5",
  "path": "json/jsonwrite.cc"
}