)]}'
{
  "id": "7d4ded93d2ffb12e88b81d0a254f6b804c6e1127",
  "repo": "third_party/yosys",
  "revision": "4be5a0fd7c1573f81c6c70a16601f7ce5ab87210",
  "path": "CodingReadme"
}