{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050261a50251",
   "signature": "b8654a4c7de81c3c664107026ef8340ba490daa72e4aeb27eb972e1c4da2646b8883e0e118530e4d9c96847bf67864c768214fae3da3c3f49d3870d2ccfbf1bb54c9353a4f6380791e4b7d9e25a7054bf23a078d40711d352d361c3219a0f6d5e51eb2220602888e20f72745c71b2787412d429bdd542a28ae924bc69eac20a467dad6171cd98113ea22494b9e2edeca339ab8cfaef99a3fbd6a526fb9e129b03a9f3d0e235e645a912e40f16ddf6ecea2467ebf2b106a6a46ce4567f63ccbcf2ee767c40ccfb2c9927c307f093013252dafad5e0a7129dea9ad150b90182aa2fa6821fcb17d8b0f6236a015d7b6f650c0d390e9fb0cb08e973bfb3d95a344e5daaaf03e86c32dde8a97f4d281a61c782f61832def6dfb309634ee5e62c24d6d2f88087e211eb8cc9fecdb431a83a561f1d73f6398a4e5688debfc9d95ddb516dde70d5c2c32c44b8e8b077f558b6369758dc887bc73b123ec3396d49c3ec1d37143b7d1c0706bc49a0bd44bb2d2d1939b06be30adf6d261497dda953d09a2ed603e59a629139fc29a0c19f816c9e8e2fd30189f2a29cfe62ace9552e630985670a5ddfffa8eb2b4267b255227d5a6057ad80568c543ac550c6c4775949883977a942c2513538c814c2866393b395322f00349620b6ca5f8298c5b5754f3520f20ed70a0324886bddbcddcab93fd8aac61f4d63355569f6e19fa8155d21db96e"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "why3-doc-html_1.4.0-2_all.deb": {
    "sha256": "67b5ce319aefc0b5ea92eb531be3b7c409f670f840dab563f964a935db09d6ba"
   },
   "why3-examples_1.4.0-2_all.deb": {
    "sha256": "0d46b1df58dce7510a09c2164dab5a8d99cd304f75fd0c461510c9c76d15e937"
   }
  }
 }
}