{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c0502616ca5db",
   "signature": "6c89b394352338f4abcef869770e997afa940f23cee6feaeba06582e33b325545bea807ca86da363354e8b8f0ea3216c4da786bb7c8d14ddad61afac36e1a8c959acd0c08d486342ff4baee70f8d12a99da11369625384077b83fa1417803d5567e00eb0c67f6af10aef4a0d24eb4e27bc9bba4a37b155affc2db441448ee882aae89e59852a5d7f5446d5573224cd9646a95abb23a77c1ee1385a4efdeff545bb12053cda11ec9ed5d1b88e869372996bdef3bf8dd1225f0f5daf376eb4fc2a578d47fef5901717a081b349b68cb4e5e4fb6ba7bbda8f882f7cab7ba25e6464f105a3fe83ed8556fbba739c6b842998a506a1127addf70da7221036b5ae7de703e3b6e3b6ead017fa7cd42718ae3cc69f73c45cf3bed2cf8d5b9a212c500e9f803a66aea9b68728c9b36334a39f346172474bd6142749e16be460327fe0fe7e824b7b23f0fbbcf017b4c5a2a5459e6f15f338d0149d230ed953d105d34149830171d357ace44baa5d8bcfd0ee8a103c6d9389a602bf278d42d8c250b2d2c051bef583dc653332393127dd405ed6a83268e3ad67193ab28f4d85d2a5b76677a6d72c764751c4b9a79121f8b2c82de6df2e16115c5872f8777595919cc574bd83f1517bd611f572403f12fecb9f4325a9442676a39dedf318f391b3a94bb377995e1a3d56feaedad4f8d0867730a1cfb80a17dd80f68be4b4a20ba395f6c7ee15"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "libwhy3-ocaml-dev-dbgsym_1.3.3-1+b4_amd64.deb": {
    "sha256": "e90114e73c8a1cf29c0653a93c9b0ba724a0247792a11a81b8f602bf14e2077c"
   },
   "libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb": {
    "sha256": "cff8c799835136e9f208a58e4f72198dc9b5822587395ea447b14a969ee008bd"
   },
   "why3-coq_1.3.3-1+b4_amd64.deb": {
    "sha256": "53dc0f9cbd4143453e603c82a2363a268bde00ca0de40f13ab6709ca1ed5c1ec"
   },
   "why3-dbgsym_1.3.3-1+b4_amd64.deb": {
    "sha256": "625cedea9147b856dc174668990a93572c011e84c52219bf2c0cf068c36f08f3"
   },
   "why3_1.3.3-1+b4_amd64.deb": {
    "sha256": "6c1d4e2d609415bec3f229624bd6b49b56f1bf543eb8c8df85333c9e8f990596"
   }
  }
 }
}