)]}'
{
  "id": "1c65f635c41818132779f0913b70f36edd0d0356",
  "repo": "3p/lowrisc/opentitan",
  "revision": "e53482c24a26135ba841e7c2264dd970b1a23b4b",
  "path": "hw/formal/tools/jaspergold/jaspergold.hjson"
}