{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050261bc467d",
   "signature": "187d2862422fb4accd5e921a0904f9900488fddc0cb822213551a98cdb0c77c3fe5a83049ae37ef28f6c4bac96e88b48cf33be3e994d235b41de003565a7f628f46a4e6e79ec7f0ca31f2e7b21d21761b0dd37315f65bb2036179292cae570b955463c4c5e7bec526845caf5c66d8e9d9a8fbddcffcc402c474feefca3f655ba69a3a3e46080ef8d59a49a6db32d01893b9e47bc055a7da1666291c434279daa2f9149d95e1ce8c398918702981502643303012bdc47b26f2838cb4f5db4ee33c6da023365cf9af6906eef49a90d5bff8498921103f1cd11b1b2b94d3fa4a9934e0d15517d85b68a4ea3468ee59c251043ff37ce94fd25fe45a27e54b6171bb7812645a1ea25a82f9d595acb4bb9998a56969c895c492f5cb577f119452ebe8afaddc98c21c39527e5b07f0207f2525ac2238d021a7f3d45b4e99fe18d3d8c457c3de46b01f3a25e75a74cbcb58c242e1705459758734546cc1e28d8c2898d81eb1defeb16ab085e60ff2ec970ec0f2d69523e11cc96023ed60ad2d72ee7ff97318a5db60a77acc0cff6d2a4b65596850f92bb071b476ff977def45638d040b321e4ff1d0de5b80b7f3a318a607af07aceb380c60688318a08a8c4e058ec176864abaecae91b510086dc7ebffa3e374d245836ab726f837311aabcb785b39610d90461059b81e65f1d8de990aa4d85bfa377e92fdc368600b0b40d1c15fbbd2b"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "libwhy3-ocaml-dev-dbgsym_1.4.0-3_amd64.deb": {
    "sha256": "06ed454510d241a5abac259c0c0e13b356c3acc345705bd807e0d49b1193603a"
   },
   "libwhy3-ocaml-dev_1.4.0-3_amd64.deb": {
    "sha256": "173f81a6f543525d23e6bc00c33a922c686b701682736fcd51f5676d278afd1e"
   },
   "why3-coq_1.4.0-3_amd64.deb": {
    "sha256": "96676416233c41b0a665fa908e465576fe471975415090a0f9ec41a3b579846a"
   },
   "why3-dbgsym_1.4.0-3_amd64.deb": {
    "sha256": "ef745a7000a1494fc838224dc0143bf43583673d57dfc0882006f139dbb04002"
   },
   "why3_1.4.0-3_amd64.deb": {
    "sha256": "76f9e3eba7f4987d591b44692cb8db21fa5ba64c24a828a6ebc179847fe3582c"
   }
  }
 }
}