{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050261a54159",
   "signature": "a58bd26feff964df47aee25c791803bdcbbd4c72d9fbb9694c99fd0c5dfc8bbb5a32f7bcfe7a7654d1f88e23723939dc2f00cb92405180a6ec7525aa48256d524664294776f92b93e0f5f9ed0c6940b513609cfe33724d372e85bd9b069360963bf25bca82d3c6187755a89bd582642a163ef03e1a0fbc21a1cac671698eab3b540a9bbb8bc2bdc54bfde7eaa8a90a2a22527d5ed3dad21743dbae4ac880335172339b1424a9d7778ffdc6ea281b43da28a1eb460bca063ba964a544a20b56bddfb73e919887bc25ca985f2a95593de68cd798382c8f0a9ad0b60e4e13b72a021bb1254d0a68c45db0de0d22e1a11887b65308956d6efadebd0f0f1e69f4936cd43f10f20f39fa5bc58b545c66069e4a1761a623e0e3960d605fc16515a48cc5d6b0a4a348c2f8feacc6e084d5064896553cdb8ef42e7c67e3ea313087513b68683e5d68d85168b7e6dacbfbadfcc3ba7a3ccde3155ef2406d96704a7745345bb7c614a67c3197f46fcaeb92181fa1476b3341dbc3684878a2da20be822dd3223847a4ac40d67e532dabb01abca7b9ddeaf9654fa184cc87411455d2386a7e92d2e5fcf64e531ef173617dc6c242c099ba5d00bf3798f2c494f7f9aee38c1fc385ff76bd6e2951280954f7c79079fb989eef18a662a2028ff411f91cd37bf489d0a9b32177ffc63568f23bb5ec02e2bcb9166f07ad371472739a2ee8a9ee590e"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "libwhy3-ocaml-dev-dbgsym_1.4.0-2_amd64.deb": {
    "sha256": "3d336442b4a4f66e9f1fd7b3e786a5d8a3d6bfbaae42219b4d5ccbf67d764b16"
   },
   "libwhy3-ocaml-dev_1.4.0-2_amd64.deb": {
    "sha256": "a7b38d06ed32df026dec430c66c9f930429d7180bca7940b95180bbbd532cf61"
   },
   "why3-coq_1.4.0-2_amd64.deb": {
    "sha256": "c64439c62301807f2e7e7673a02aaede98f31b01f989dadf0aa5157722719fc3"
   },
   "why3-dbgsym_1.4.0-2_amd64.deb": {
    "sha256": "a312494934e56306bdfcbf988c3a935b86cb32a54d2ea25847db77357fbccfc6"
   },
   "why3-doc-html_1.4.0-2_all.deb": {
    "sha256": "67b5ce319aefc0b5ea92eb531be3b7c409f670f840dab563f964a935db09d6ba"
   },
   "why3-examples_1.4.0-2_all.deb": {
    "sha256": "0d46b1df58dce7510a09c2164dab5a8d99cd304f75fd0c461510c9c76d15e937"
   },
   "why3_1.4.0-2_amd64.deb": {
    "sha256": "5781b4c9b18433f2949c737d9401cb674d76f719a3f0d5a8c980f359e1cff162"
   }
  }
 }
}