{
 "signatures": [
  {
   "keyid": "c46ae96200d2f98ffdd8257073d2d5d1aea68333",
   "other_headers": "04000108001d162104c46ae96200d2f98ffdd8257073d2d5d1aea68333050261a434bb",
   "signature": "a6c4a39f177d163b107340ac26ade1b79cec4fd1a4bf4469b5083ac1a17d3c93c0edc097837104fad3f0be07510a207710aa41aea2aa0fd93303e919215982b3fde34fd2b6f97f296f7a062827579da3e95a56813bff1b71b7d11983ea603924fb8e3ca708222151f9bbd97220722f22ac6366084db04299baff91c43206c53bbede2b1a4f37514751d49d6a3523b98628ae1e5cb2e2e15e2d7056caa86e6847d218d9fee1a1f14ce01336186c1dbdb3e49e23ef275547ca6ceb25654f98c0729c97c4aa21274b22873f49e0e4cf36a46585617427cacb2046c3d059bbeaf1e38c0696cf057b39e0a5cd438afba62cd7004e38538ffdb4b1f2da880b593ca6bdc4f2e53c2211b5a7e3b62fb514cdd997990a33d248131e0a0e396755bd77929a81dd38521bb72f57c47131b29f3282035d02c34e99167ea51a90a6b87e733fc06212d1ab1d86ebdd746a87526a293fc19e019c2a5076069d83e5163a7873042293a68cab15f60203123a55a2e12d1f6fa25505b89accafc889e894bc2642e014de1e480a539a11dbe7997be338553ae2f4da2dd894ef63f3e75acb65656e3c195adec9121680dfacd01f9389b813018aef94d9ff33d98a90126912c4c88f9a77052e0b99f6350d15391757197c7a370b3ba49e1e678db534263bfa7a1b387e49ba696a7131aeb90f80f134ddc7e59423c023ff4ddf8d7ac78170cf32dc470233"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "why3-doc-pdf_1.4.0-1_all.deb": {
    "sha256": "d2bd9725830e790814ba6d1339ae2bf9d0cc346b8ec15459345e417c7ebe9d2b"
   }
  }
 }
}