)]}'
{
  "id": "ef8f64cec11b96af4ec393cdb448531f142b2ef0",
  "repo": "third_party/yosys",
  "revision": "c1921b45619fbca4cbcafe3cd9cfdc0fe29e251c",
  "path": "manual/PRESENTATION_ExAdv.tex"
}