{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c0502615f3ba3",
   "signature": "18399a2cc6d59af56d050528390b8767b67b25a2095676ec9b18ea42eb30b199c2509ebeb0ceb7605bb31f526fef9416a867b6ed8f9c4be231ab647e6d7c3be662e6e1f0686d7c5d036a734c567bcb0334b9fe2ed10242753c5589b4591a9f81a4d0b3e8315664030544d695d12e2a29ca2f8923060355f481f23edec2e69125d36cfa63df778d9623283017baa5d80e01cb8909e32abf95f39d0b3888f95cd8d38f642c44648aeef62622219546fcc170f60c52e191025d7add141e54b039e6d924ce1169a1be3db85f51fc4edc87f165b04427706ca14ace0f613e422062add12d3dab5a30fc00b2b3ac551602f918c373990daef958d3f08808403820aec706e901adc5df90ae61c3968976d0407772e151cb77d39fb4292ae08064ccc2eb1e9f21e213ca3da3641b77e62bd5121b9d015646bf03eacdbc8dd8e3caef7f97790658c10a63361c1074b4b96bb26a570e7be06f5e97d1563bc61fc1d7b32ad1bb480bdd98e858b2d1a2166b06ceeedc1e6671ccf055695abad480f8393d7d72d50f18e9e482d1ac49ab74f49a65603a5fa6057dc8981eb0c7d7559bf07ae181206d8f99c21331e4d0c088a1e911abb7010805bc822a3828476da65df879a01653f9d694d853adbe634940b43d32c9169f673c4c1ac156b815fcd017e055778dfa1e43a89f7a1e103bc52cc596024482295cc8af38510efe7910a3673487ee0c"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "dafny_2.3.0+dfsg-0.1_all.deb": {
    "sha256": "ec0ff6e5f7dae285badb2f0672f9cec71097f72ee4163b4f11fe0ef2fdc690b8"
   }
  }
 }
}