{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c0502624294ef",
   "signature": "b08538905b147dda3f6e00980e6e892768bebf2657bd4d682ec1d7af2b6d70ee43ba666826ec2ec690dab35505d2d0786e4afdd15cf373a52b312747f3f5f9223d4481f56c7f9ff8df9d7f5db16d35971eb3946d716423fc7ad12337342c9975a460ba8cabd6a0708181b85ae0ef8eb7552a429dba30c1f8c1a82cbb4835146684d7e5695f7bdbb114bca2c7a56bd9153a1e0c3cb0d192b9af1f5f6f1c5ba3812b0a6152a8991e4909488dfa40e9f349b936f7a9e32ca2e083e54e53f17a7692a737930cbbfd889dffa840b992563ca62d88c9af58d3b721129e1e433ae873b2a252325bd5ad63bd5e039a5a99a06d036719dd1aee3d3476a19ae6be2070e72db53521faa70741f37efd28abb668889a72292d6825f695cf00b36469dc48ef1f855d5df7ca83e97ec82e81ceb9e1aebeaa08f21a1e07c8342c4f83238a973e50ee675d0d84710894317ac13c99fd209793582e82fc8462d77eddc1108dacb9da9e699ab4050bdd51315d08c3d9adbe62b768f9442a994b5a0a56094791081020b5189a41db120021e3a99448959aea9dbf1b9e8be1ffc646df2a8425b682a806fa95e135b6129822cc76e3343f0b393e06df1e074aec0f100446299f868e31d2a6051f0cf2031a78f24b1a19643139d5a2c7396b5757af74079ea2641bd0e5af8e1109eba6e173edaaef26c0c2973809c2f95619ad338db8025cbc71e99713b8"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "why3-doc-html_1.4.1-2_all.deb": {
    "sha256": "a4a35ac01b74459deeccbe0728b812312648eec1d946658406a77d07d8129d5a"
   },
   "why3-examples_1.4.1-2_all.deb": {
    "sha256": "c879fc2abadf21a26319403a3a76542c280cc9bf003cf7965810eab6c473341a"
   }
  }
 }
}