)]}'
{
  "id": "d96fc4b2200a7c0ebc44387264982ee7404e27ad",
  "repo": "libhwbase",
  "revision": "ded07e802febe7e1742bd81464888e5193537fdb",
  "path": "proof/hw-mmio_range.adb"
}