)]}'
{
  "id": "a6979b263992209d2b76ac0e324be8e85e819806",
  "repo": "3p/lowrisc/opentitan",
  "revision": "6bf11662334fbdc7aa272b9ad8c617885ee5baf0",
  "path": "hw/formal/lec_sv2v.do"
}