{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050261cc325a",
   "signature": "6bc1b8325be4c97631f2424ee82d2de409921485a6eb204158c5f00e9a8c18a3f7801496f6d2112537569b77afdc0c873480920a54d077e7b3ed6df68f222aa3bde81b29a2d78c01c96e7cb4e1a25740b0f8e53b1bd4d45bb44e4de71bda16205fe77ecf2cc9e350af959a39d497b9f18964d8877a12f3ce2503c68547f8a74adf6a8cafbeabc459c85b01a989a5914d015eb09c0ba966b2b68baf130840602543dcf4b2797f9ddbd18611d2e67e646f3b6c8ad2cf5481f81961cbf1526fce24a10d9a56488db00dc6ed971cbc42d4844e7f4fa2fab0552cccdb20a6f3acbfe845a0da9cb3b06a5cf62d5d0a6dd0ec670f8dc78df2fdee63e12ed197bdd1837175dc7978d513b58db7fa470b6159e4cd3c67b631ceb8731cddbeac8b8d3106fe5311c0d765f82a0e887e0ae0f95f99a031c957b767c36c3d4be82228e865a69c90b25c274121c7e9b7ac1a26c07f5a77369804b26608ab5b086868462cc3688ef3aafb87da9827b3abffd0c4e05ce44513194e3202f6b88f7b1ef563abce1cbed4723782f4efd3c5561eaff13526c6d7de34cc41e345c9950cdb39242c08d262ce797ba8c2d0b600ff99517f5765c6ffbe115c3545ed412f7cc1dd01b036aced159dffb6afbe447ab5287a33bf0bffed3caa7770558164c10d998eacf6b23c11ff9e089d818002966be92419b1b8e2af56ee9fff8e76b25fac37fee953f769d4"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "why3-doc-html_1.4.0-3_all.deb": {
    "sha256": "da8a3e57bd1a9485b66d2339101a535f88122d27b317fbbedcba3094f00a5569"
   },
   "why3-examples_1.4.0-3_all.deb": {
    "sha256": "52637a1053b31c7b430d0d22f1b0073d4ad996746590f5cab68fc3c3976f860d"
   }
  }
 }
}