{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050261a434ba",
   "signature": "c0f53d1d6f8be6245e6ab2e6d3352a0355bc12b7371d2f51ae3e4ff92b1546863fe308a5ac2c8c8075960d87ec7008b6bacadb812f9d3c7a0e726f07663b588735748f83763dd54682c1f299cb081dccd1e9733edeaca853724267ca44d3f9c239cb46ab6611ac3fa2f1674f515da816143c7cfb33eff3632533d615890ea0787a290acba5863460e48063bbed2220d4f1e4e2f1a1e9cde8da3dafdc5dba00979bd6bf70bbfcee0946250b9974681612da739069ae445b5036711f390267f1a99b87fbfcdd4e9330fdd71994a84ea10c4a46ac4768380f1ecebe9908ae23959f27bf58adc45bd4ab79167b3076111491dd34d9a6a2ca7373c2ab5945e7d2cc7deb53a4c0ebc902d4c9461f5720d432ae859c38ee24842e4cedbea1bc2e2bcbd7d543cd83f69c45ae710c8736a528743b6812261e2e21ff78036ddec7e0415d0e59f6f347414afd33458ac69a48be9b23dd5864f7e43d2c646a77e851767130427da77f470c9ffd4ca5a8cf8ea0574bee48af7889b58e408be6447f3f41251bb6849120bb4b8babb287857fda8c85ab8e55603c080906d9cc0b14db7a57f016f4e7380541b85ed9e544ce487ea496da4f2cb70d93f389dcd189ca59cbbbf73341d016f0de90b15857a022a2d170cf7ce6225bec3edbb81357daaa98ba7444c579f8dc1b17e2d821c3e8dc38f9840bedf2cd3a96698d9f7a0edd41b7017384d07c"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "why3-doc-html_1.4.0-1_all.deb": {
    "sha256": "2b96ccd633c0e78f27a5096ae598e399ef8c052559cbbe1c9518cd280b50030f"
   },
   "why3-examples_1.4.0-1_all.deb": {
    "sha256": "b927fdd35acada64f141c68bc2b322e49d9a27594404afe1214f6795c554b854"
   }
  }
 }
}