{
 "signatures": [
  {
   "keyid": "c46ae96200d2f98ffdd8257073d2d5d1aea68333",
   "other_headers": "04000108001d162104c46ae96200d2f98ffdd8257073d2d5d1aea68333050261cc325c",
   "signature": "06a7934758b4fbf6f95e5a5e4892ca590c2c9ff82f8736cb5d975f360c8e2f8ce30ff0e07d49ad66c1cc2c6ef8f3a2a5079588381dd6c2dd324097c7034209a1644028b0f4c2fca09f1498e7912c64072e083e7b6edf04f3db5c0bde80d7f8ab4cad69b659db2d6a9bef117d1c00a5933d14ab6d27c2a21167c1082951d0b9171cb3dc672fb4ee8036c81c5be54e0820fde4b317905e62f8f28d39a63297575e86d7ab12843353fc1ea10058ff845cefc59682f417341543a7cebcd78e4811dcb1b7a6fe6b362dddb24a7df10d171fc183ed0f81a232afdf909ada964b5f9d13b19f8ce94ab576dc57b46eee8e4d127383ae9314636854ad92066c3f9dd0a0ed77f0f12a87b6bbb4008723ca40d22e000028b42e2061b14929714f22e836fcba0754f5e5ae4f03b1c98fd6fc5fc484e174e09b4ac8b1abe98a8565c6559b86eae3c06ec21dba04ebdfff0190f76cb5efe0249e04bee3aded5ddc4a19ad129c2dd6ddf63844cb2f9ce8c9cb8a16be85e172babb475576b8b2db5bbb728bb38e77184fe754334b0c881885aa8d0d438173197b490236fca6ec8ee879c31c573dcc26861fc9e6ee10f0248a2703347e47dda84a23754e503aa047cb2f81d4712102ad90f02fa9f5ce80f4ef19a98a683ac5c45f14db99f19de5a648cb3250f17a68c265078fb7955aa23f1746c9c3ab55989444d8648ed5270235958b45c8d1e3cd"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "why3-doc-pdf_1.4.0-3_all.deb": {
    "sha256": "1953a8ccb667d609298fe31cfb9b42a890aafb8f5520e3044faf8a669786e26e"
   }
  }
 }
}