{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050261a44e0c",
   "signature": "b2606d6bd4062af876c17e063065bc46d7837a5fbb76b473c401c40cb6706aa09aad145e0c86c8a6a7982cbd64931501e86b10931536167a1f70dcb740560c372806a48dc11f481267b0cd2730cda4c9ff33f62f04f729e70324ef1a8ce46479a995c2f0c5101e10c17bba71ec15b25268808ac22b24476ca94565ea3aa88c392a258ff64310e2158ce8de048eb253345e4f131bea1058fd3356b4eb21224cc971e7d98c616f5871bcc83d08ab2aad012db3928d98d2b82c8e7279801e6d025fe3d0e4d34253205bd7d67062a3892389a6e7e39b0940b416c2f0af93ff74996df4d0995c457383eae79b731e43740d99add8d4b8a80737747926b6c0e57268a37ab8976ff316bb649f7a48d8cb0af5534847d9a11d8eb4ed28d33627700fa73c3bda6b53833aabeda80c78240028df67286323648eda8eeb482397a2be0e1ce149dcbb2aa2285bc31da3381dedd2b2ffcfe67a5639ce2d0f7d37d82100da02f4fa6daab8c0d9f491fcd29a3d72dc3706334e645659c07c8a0c81a4b89c2ea965844142ea5cf4e17f82d6048913936d41a117a1b825f11f6828b24c3d1a199d42c38fd44377dcad6dc11c480882c1a4053fc753910d79125859ad02e9c1ceeb42a1a01590f9d08011f4b42ff90c5953a4234ab8f2898a82a24b687ad6e8c14a379ceab3704b1f33c8af7018a977a5301a71b51c431a92ff173d859be54bfc92cb"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "libwhy3-ocaml-dev-dbgsym_1.4.0-1_amd64.deb": {
    "sha256": "c84d97a773db6e6a8b1c949317c05e9e27f0e7519cc38e95e0952fefff643ca6"
   },
   "libwhy3-ocaml-dev_1.4.0-1_amd64.deb": {
    "sha256": "30fd17be9a52dc070a52ce95005bc6e2095d6242bad8c57f3b2f2be19a306c2d"
   },
   "why3-coq_1.4.0-1_amd64.deb": {
    "sha256": "11420b77c19ddc004eff60ceb3f1cf089dfb5ec01976326752a0a838e570da4d"
   },
   "why3-dbgsym_1.4.0-1_amd64.deb": {
    "sha256": "2e32ac821b39718c7beef5e255d10606bebe81f36c978f896e059ea4385b05f0"
   },
   "why3_1.4.0-1_amd64.deb": {
    "sha256": "995c918113c933e5ca7cc39c895bec9af554f5a776e9d191d616482adebdca63"
   }
  }
 }
}