{
 "signatures": [
  {
   "keyid": "c46ae96200d2f98ffdd8257073d2d5d1aea68333",
   "other_headers": "04000108001d162104c46ae96200d2f98ffdd8257073d2d5d1aea68333050262ec0b1e",
   "signature": "3578e653aa1c33789b0e4d87380941d6790188affe7aeda313809ac9c6dcb010ec0f448e630f8c09aa21b1a423053fbb1e9d13019c58c31e1a03cefc504c5a3ad0259c4f9b36a65d55c71f20e4098e5df2731edbe8ad34e7edaf93768627ff2917f70f8e2b269d568121db981b40b488d0f32f6cbb638e6b573664178a74eb7822d4f5b83c88bb70ae97068e5066df68896252addae156ab1e4dca0945cf07340ba0947c222cda4182d7210772f5b05c489950e4e3414d7fa1c02bcea937f15af4a475e668daab67f87076149a43e1a6328d708fb89b4893abfd5feba2bcda113be52cb7851b2dfff0b75c59e777ed88dc4954a673bea4975375503188791a25c5e2274364121a129ba3f8e3bbdad55b752483a57f6357036b860b9b0c15d415b154ac5c0d3fbb2c160b35fe0c63507de18e15db4d501bd6e63aa5b18809584bce3906f15e0fc500114dbb1d731fc9f58ddd8719849da381642aa94d0609bf788190de33efb656ee9586ff360496500f69dda40ba3f719b90ffa999a647732205c00ba45e28d6a4e0eef4a31506c5f3849fe59191280e225921a2e20086edddde49f582590d258e3be15f52f58c9b36ed142e9cc8787d2f9fa31902ab0f6e40ff09c34c23f0dc205a417dfee10d9afd37a73f71ec116710235c801ca0126fab3866a64260a28cc2f6a8fa5e405a14876049ecf35c527fc177b80dba8571b9f6c"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "libcoq-hammer-tactics_1.3.2+8.15-1+b1_amd64.deb": {
    "sha256": "255f77e098bf490216028e6d82c38e0468ff3a142399c1568fd2c1347761658c"
   }
  }
 }
}