{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050262ba10fd",
   "signature": "8227a49dcc062f886f25358a319ae63f2723850bd7fecad6791051a645321cb55bcd8b285fa49d5436285e8ed4d9b7799385065b5ca07166bc2d6a74caf3a81a4ebcda7c46ba10df649b14e755f8a205ee449e7dc5b527a67d39d285a0f769c6c14128654ad0a2f8c0f8dd73fe55a0e5801e4d67d5d607fa664c8a81e88d9733c03699727119528b856e7f9a99eba1581cc1cbd8671a57b7cc9f731c10c72764dd146b67850952ad8ddaf830a23e707b1891f68bf82752b95042018425757f35be4c3f375e792e4aafa04c85633a840651ffa5a0b8c64401bfa2a326341917d9c74f738d1683e09e91358f38f951da1cb57a7dc324a8e7116623681b066b5b9c8742c20a2631cc0248dd25a47cd27986cbd0b5ccff671a370fe87f6bb09f0b4454053c9c73b9d6effdea2f74147e6efc92097360c422e6abf8bfadcf5c7d566709947ff484aeee416cd90b6c8ccbac17213d6b85c1e11a9940f06c07efe95381c54905761ff3d702f96799879af8acfdcd8306b363024d8545bb9f3578b686be9b7c2e3e2a5569e13d11f4b0c3e9a1cdde69bfaaf3bfc8abb1e245b9ee877e1c931adab372dbab45a9197dad43a60787f8144627b8bfa142e302380977dab05c16b86a70c21576da66d9612c4a886680a7a13fd9ce38b7941f3dc9d11bd70bc43c327116c5d16a24aefe61e21b5d84fe8540cd75c2953cda5a047b5ff6feebb0"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "libwhy3-ocaml-dev-dbgsym_1.5.0-1+b1_amd64.deb": {
    "sha256": "938c3555ef1e856806e8765edb5f42431573fabe148688eec6e1bf549958b033"
   },
   "libwhy3-ocaml-dev_1.5.0-1+b1_amd64.deb": {
    "sha256": "52660dd4a82eaef411ce1874b9331d2f8ff707b63b99d17e1b6585a08d53ae7d"
   },
   "why3-dbgsym_1.5.0-1+b1_amd64.deb": {
    "sha256": "bf753765f4c7d1c31cf77a4bd813ba4a5aca59eb704c25f97b9b25820d7726d4"
   },
   "why3_1.5.0-1+b1_amd64.deb": {
    "sha256": "d84c1285f74e27a779a02b9d82739291fc47728e1d255e161b7e55e465edffc5"
   }
  }
 }
}