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