)]}'
{
  "id": "09c48f73e5354ad440759b5cccc1aeca0e6ad5f1",
  "repo": "3p/lowrisc/opentitan",
  "revision": "5220e2275b3bae33225cc77dbc48b839ebd3ef29",
  "path": "doc/getting_started/setup_formal.md"
}