)]}'
{
  "id": "f6a2c44d059da8821d95660b4eb754626dc040a2",
  "repo": "3p/lowrisc/opentitan",
  "revision": "642e338cf79c78704ebfa7833fdd148f561921f5",
  "path": "hw/formal/tools/jaspergold/jaspergold.hjson"
}