{
 "signatures": [
  {
   "keyid": "c46ae96200d2f98ffdd8257073d2d5d1aea68333",
   "other_headers": "04000108001d162104c46ae96200d2f98ffdd8257073d2d5d1aea6833305026164db12",
   "signature": "382e0935bda3e604e7151a12f2536cca01df463a2cb266852cd45ed5c6045fe0b6e5d36014f862ab4c3a6a52db82ce81fe7e24f8a617ebabc9f2ad4078b1a4c60ff9c1e3f4c3e81e01e062a75a0b60cbb4e0bfeab7e25c55980266196676326cc9b67d43bd3c65605684d44d9af9e77247c291dabf4451559d6cc2e4fce04821befe3ca4cc6a774225986deb06a21a12b05f14d16f01b4c1e1b174a1c9e8d855cb2964ac671750943d8b5ce8dbd1eb7e8706f2b342bc8bbdea938964e85cbe051bfa9c2fa07ed1d2ce57cbdbd453414520793a7755096d620f1be6b7e14400d5309681250268c56203e2b8af7443b2157d4bff3f6e8ea069969264024e482b5f9bf922bd508ec3c8680a063f5b0d14cc02780a870484f34d4f35c84ff29ec73a04181ddb7bbc40c6dcb54b64e362d3b4c903ef8261622854d071616cc54c4105cb530208fbe2eba0f389c0346457bedd390deb6a9c00b8ed82cb631f739132524bd0c69eff533ea47806eb8538c246cde24390a4e81623884f8417c1385ba4ed68df641a9f22325c6a768dfac2d5d11cffa9b485fa8e6c7ca00b261b0aac3aff8d5f6bd71f7a18967acfec5e8a8786e874d59f57dbe768fafb17f5d786d1ed7e6a81c9ccfff2ef9e981b52821ec31173dad25b254956a76491d4982d0a600cac39c96eb3764614b79c85ef39dc158ce3d8028e277fb62768aeb0770657ba3eec"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "boolector-dbgsym_1.5.118.6b56be4.121013-1+b1_amd64.deb": {
    "sha256": "f67b3dd446c1d9ddaed45b270b6868bd1cd2fcabceca08224406290e2d68980a"
   },
   "boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb": {
    "sha256": "ecbc352f839fe721cc244b6761bd19cd4241a046e9c0b2749cae56e3f912ba7d"
   }
  }
 }
}