{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c050261cc325b",
   "signature": "05c7bbeddacb28910de6e2652bb54f7afb03e4d2da1e0d7e70a89b08f19e3cdc4697e35cda9e437d425b72d82a221673f473ac5a9d4c90da4f0aa0ec9a7a245d522d2a7969487038ac4d97cabbda97c5597720a4f936c1f59c4b82224638ba2bcf4046f3262218a8740cc5fab17ff7e0f38d2b654e612b9c887492e00e4ab7606ac52eca99df233f5f766585834e12e4f80fa6598990b2b7e9711f2093cc979c7598e955be83a3ac1ef163748da6990db080e1aabebdb51504693f76fbfdfab4e723b0c6f89cbd458cc79ab5e98de9dabb1bc9871a2a870d0006e51ce8146e3c153a5169f82fd885542235931b7fe49b4eac42a2c3c50c51cee9eb989990e891c6a266816e536e9358afa431741ae0255c829ac53da111b10bc3126e56361388039fe0bdb9124dcf40e6f3f20754bc0e2a3e612d281d46ee92c4a472a14e2420e22a6554212f4db7e6eb5414371aa1f3839bddffe16751667a267b424423f6e9b34fa179d0a34ad02f4f8238e3dd879628a108f85f8a2936634467d87d1fefd19ba5f2fb3b4b17ed8f9a680d5f6f412f5409e473a9e9e44c8456df586f9041ba7bcfc061e91475b7aeeaca5772d6b24736fe9ce6df7a19347181c491a1964e56e012347fe0d153da51bac128dc1e224d89898518585cc6db5f331d08e3fbab8c15876a046e60b066859eb76b16f3c2c64a21505a5c9ccf1beed76a1c1803142c"
  }
 ],
 "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-doc-html_1.4.0-3_all.deb": {
    "sha256": "da8a3e57bd1a9485b66d2339101a535f88122d27b317fbbedcba3094f00a5569"
   },
   "why3-examples_1.4.0-3_all.deb": {
    "sha256": "52637a1053b31c7b430d0d22f1b0073d4ad996746590f5cab68fc3c3976f860d"
   },
   "why3_1.4.0-3_amd64.deb": {
    "sha256": "76f9e3eba7f4987d591b44692cb8db21fa5ba64c24a828a6ebc179847fe3582c"
   }
  }
 }
}