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