{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050262512840",
   "signature": "8eaf44f4377202f21206311d94d63793ce4e0af639ea0b24981b070d81fa276e911e05a9fb4bf706bc8d077c8c1463df012cc71e7d05fc970990606657bb43ce58aa15573487a511d7d64794a489c72c7c745ceb62ca067f0aa700a71e688e499f373c750f0e475ac3427321179198a2af0e04cbeb0e771e2e265c4ac828e86304fa06cd3c0d5918c3e267cd0e1de2b6e5016eb52ff2f5ccde87b8a5e84456d4f16efb14916670405acf4824bc801e611e18cf20288f0559d4a923bb9329c83144d5de2ffbdd6a3f4e0c31ed68f14792a828b596d3c05116555b2879a0506595a38d6f3b43923ead4f039592f5937c0c9dbac524908afeca4e3a1d0b7eb14b73fb5d0d9010e29ac3a6a2919512d0bff63418293be2d9cc619e03c3db48cfeec2a103a263da2fe1b76a2e8e55fdaacd2fbfefcff464edaaf84501e79bffc6a7029b34164fe992321e612b164d3d9af87bfa9cac0ec68f7b5d3812aff268b4ba57bf82876f7456b04cbfdfc2f68e02d2c241a1d16cf8ba6b4bef3186db3031d9ac2a45ee7aab4c6e13fce56201b2a64ebeb07c123137de9b0904c1b241d09801b8bc8383dcaa9abe07420e6cbf8eaa65a3077e19084337264f97567fc175cdefc4baee2eef28e758ad08daa932561f6b836b3d03eb25450caf4b33b3fe2e7189047677090b93fd95f81225b47eed0a48f17e1263e8859b724707f91acbdcf23737"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "libwhy3-ocaml-dev-dbgsym_1.4.1-2_amd64.deb": {
    "sha256": "3f4ded1585068fa30868dfe8e6695d5dc32fd5e5706a13006ec31be15d276b97"
   },
   "libwhy3-ocaml-dev_1.4.1-2_amd64.deb": {
    "sha256": "4b4ad5e9cba500a34a9e797d713cccc89249afe87eb2b7d2f3ec5ea3def5af6c"
   },
   "why3-dbgsym_1.4.1-2_amd64.deb": {
    "sha256": "72b6ccd2261562a117ffe4d12cbdc92bc6e5a940e35a61e727b34b4d61ae7576"
   },
   "why3-doc-html_1.4.1-2_all.deb": {
    "sha256": "a4a35ac01b74459deeccbe0728b812312648eec1d946658406a77d07d8129d5a"
   },
   "why3-examples_1.4.1-2_all.deb": {
    "sha256": "c879fc2abadf21a26319403a3a76542c280cc9bf003cf7965810eab6c473341a"
   },
   "why3_1.4.1-2_amd64.deb": {
    "sha256": "927f159f48f98f94eecaa1ce620fded1094230b4c8c073435b33c582931add97"
   }
  }
 }
}