)]}'
{
  "id": "a955c8d7df2c22a9691b541e2ec4deed40c378f9",
  "repo": "third_party/nextpnr",
  "revision": "2da41a66c76d082c94f846b6d914d01092b956d7",
  "path": "generic/examples/simple_timing.py"
}