{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050261a44e0c",
   "signature": "046282b951522015ab1c41b385aa11f3fd8ee70b16628f166e1f23facdea2dbadcd0f2d5156aa56d3435e88653b901a2e1a94f696fa8cab9670e59361c9ffbb12236b65561e2d84130e326dac093e72b80fd704dfe91c15111eb2efcc00928ad252c52318ba4cda31bfe151329d1e5392b263ba2134a93427a4ed44de86c2b91089e570e022d5524bc7319c8269acb2846043508155be64f0de715f2f6c2802561dcf14bd34ab98ed15fe1368e7979bfb1770355ccb4c73744ac0e4fbd2f22f9d818480806c26d4ffe43ecc5b99746a6ce7ce66ede750a0b7bc410f2bbe0fe2bba3d489ab5f37bafb1d2e10378a08df0ab916c3ade806ed9ec40376a52cb12b8ee30c6de191cdfa0227f2b719f345cad78e22cb32693b6d8d653cfcd657ad5c9b7d7edb7825d3a372c6326a8d968f703699e6870b7ef368a5de4011c0eea80582036ddef9adb7abb908104751307deb9afc9c127033ed340f6320ab82078a1ac5476cb30e4955ae441ef0e09f62c5467c43ab4c586278bba5ba6e2f3a8146c1d607395a991bfdeaea97db7c760a5b7e2a02b5d9fffdff8fc0e3fecc137a51e0231c3121ba9fa39b5afae98742a32a6e3dfe62e851c69ffc101277d4a2ea9b5f509aebce2a69735b9252c1ff4d101bc862edf452fe5f184666c9ebfc57173ae69d244982719f4e54ebea8670044020b816293bb4873cde081f4dd13272ed7a444"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "libwhy3-ocaml-dev-dbgsym_1.4.0-1_amd64.deb": {
    "sha256": "c84d97a773db6e6a8b1c949317c05e9e27f0e7519cc38e95e0952fefff643ca6"
   },
   "libwhy3-ocaml-dev_1.4.0-1_amd64.deb": {
    "sha256": "30fd17be9a52dc070a52ce95005bc6e2095d6242bad8c57f3b2f2be19a306c2d"
   },
   "why3-coq_1.4.0-1_amd64.deb": {
    "sha256": "11420b77c19ddc004eff60ceb3f1cf089dfb5ec01976326752a0a838e570da4d"
   },
   "why3-dbgsym_1.4.0-1_amd64.deb": {
    "sha256": "2e32ac821b39718c7beef5e255d10606bebe81f36c978f896e059ea4385b05f0"
   },
   "why3-doc-html_1.4.0-1_all.deb": {
    "sha256": "2b96ccd633c0e78f27a5096ae598e399ef8c052559cbbe1c9518cd280b50030f"
   },
   "why3-examples_1.4.0-1_all.deb": {
    "sha256": "b927fdd35acada64f141c68bc2b322e49d9a27594404afe1214f6795c554b854"
   },
   "why3_1.4.0-1_amd64.deb": {
    "sha256": "995c918113c933e5ca7cc39c895bec9af554f5a776e9d191d616482adebdca63"
   }
  }
 }
}