{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050261a54159",
   "signature": "3978837d9f0c8df7c020cb1e5a828fd75e9523f60658da4fb1f2fbfe14fcd3125682b38ad67dbab6579b64ea84cc11f31bf3ff1533a736f3f3b230b504523e2014f2cf993d1d8fb4c8479c5cfe06b2a2ff37e3a9ff0440806760356440d78698055e378f8183077e4455e9915c069d9101ccc0e0b7d6c2a83f3c1a27942710e3d190add36ff7aa8d5dbf4cd030b1b71ab6d2cb4b23d034af48738a599213d6e6a00217f1eecf9b48d4d1ea40f97ca664e196cfef5b1e429cf0a810f59e7570aeaed03755428ed7226234ea37a8fe2eba20fee9377f947bc73f2fb44d60ac4f2fcbfa00ced9963f44e30f4efd6921e05741e6d3c5b45a9bef5ba7071233a151833c959d5388cd7ccea489220e649342965ad9d257870fe4dbf0fb8c6962c64e85380141d1e750d9d9d99a99a2e73e30dce5f34812753435780bbc8ced664de4d5d8ccd8259ef07428fbc563246de17d6d20bfd26de878e132df7c1372657c4f51009bb089c535a3d38fcf72f2251b48122b879449c7ac4185739c37ebbe0eb4bfbe7392e530727dc9419913a57941b9aaa73a45897a1ad93b1182bc2cbadb5870d5aaed904f5dac89f53c55260a1029fd4a7dc517e17cc669fd0664c2508579efcc12438cfff1eec4ad52a3385c43a477369d59e263341adda69b501f4e2ab85a782445cce22e5184d06dc66be6e99a8d762d7403852b99123415b8080db46a26"
  }
 ],
 "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_1.4.0-2_amd64.deb": {
    "sha256": "5781b4c9b18433f2949c737d9401cb674d76f719a3f0d5a8c980f359e1cff162"
   }
  }
 }
}