)]}'
{
  "id": "775193918075179547d07fb425aad7444a2f5297",
  "repo": "3p/lowrisc/opentitan",
  "revision": "d26ed84f4b7ab6f24e833fee27f7bf5db6cf2c8e",
  "path": "hw/formal/README.md"
}