)]}'
{
  "id": "8da4636b9cc4cb78a937f837dd8f61c773891517",
  "repo": "3p/lowrisc/opentitan",
  "revision": "d43704dfd0b8f4d34caa15f76c547b7f69a59efd",
  "path": "hw/formal/tools/dvsim/fpv.mk"
}