)]}'
{
  "id": "9e8ec9bcf5cdb3300c5c8d5f5ad720bc70d6b708",
  "repo": "libhwbase",
  "revision": "ae9b85522aca8ef39622933e36c5c6ae144df140",
  "path": "proof/Makefile.inc"
}