{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050261644779",
   "signature": "d1bdc395ae6ae309722db7abe0a5bad64e01ebe88f6722d9eda59c449dd5a365aaceae5ca4de7793657a1e0c1b5231bf7047b5d86912f3a45c91d7a04ad2b4d08c71cb477ec72e4e45456e862057c8e3f9dab9d6b99aa28634f3f9a71dbd12492cb53d99c0a11f97b1c1a63d0e3742e50c6e52d4bc10bac36b07f71abeced6f4b3edaa4d91b7d63cc08d0fa96da26f3dc56247d60bb67f27397ad6727aa862b65beeb6a6af06dd4647da26580cea02b07c0e45d288c03ce736c829d91bf8c857bd761648d6651f218e6bca8a5008eb94789160a867655e68a8a575a955675f8b213f21b63b42ab33587a00c707d69d26aa963ec526593a9738359beb85b909bcb1322609a1f67fc23c3d71f79f544f319c878d9d1f2c8b603b77aedb9c00c20556e5d25a69c1242718a6e69bb87e047de967fadd8852d8bd12abe928f222779cc7b9b1d2e8ae630f644280c07583c90e4233ce20a2d0ef44ad2c97675f64a5137301fc09a82a4ac73bc22b6ebc6856ca97f16ba4c2db6ce84067e2011f1e160ca751224b44f8d3abc90638d30aa068d383d74d16de8e66b4619aab96d36e758a7ee2c851a30e661e714fc12c2e4d8ff8461386ba71f62682092f6f9d3e56944afae7a8c71a5c0bf75806b9da0ce8f10527a6b0dadec54af2bfaf36db73cff41ef75213b36cd40e626df088177a9126e1b05f02bb9f178110d8d9cf0c68f5a6f7"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "why3-doc-html_1.3.3-1_all.deb": {
    "sha256": "44082e8294cdae4a6d86721caa7f1c21a7957f37fd84d0e8196a61644e46d502"
   },
   "why3-examples_1.3.3-1_all.deb": {
    "sha256": "0f35aa2af55e7e6d8c0532ce9afcbfe83e13ada18c5a711e56a4313b461a476f"
   }
  }
 }
}