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