{
 "signatures": [
  {
   "keyid": "8deb0bef1d99feb8b9a90fb192ef6d6141641e5c",
   "other_headers": "04000108001d1621048deb0bef1d99feb8b9a90fb192ef6d6141641e5c0502616559eb",
   "signature": "463f8c44916526c8e587df3d4e8f1db48104f0517745f94aecf981b719975d911b9ff64422fdcd9792b6d4d3857eb018292bc8856ab586718cd127de9c45ca9f7b97b393321f454d987c2169dc152887d5f8403f6a33475a2b360c8473a25c7017219084a901e25dbf684830f689a9d32db51f5f89dcf3704508d93651954e8aa4489c951edf59cb903dd35e79be5c074cdeba57491639ff2637ccd331879e87d7d64d205c4b5306bb473e3ee2074313e1bdb035b91a03925c409516e15bae190efd08bf4d5cd440818201b182ec38451dfed2819bdc3e37fe2b3f6db3d6e3912509f042e03c5558d3e96b2b2475bade86c022a2ff8c6678f351396eff325ff482fac1ca2764f32c16abbfa7909e6b2e8787f3ac1c8ca73f3ec4cb46dd30c260a34735d9af403437aca8666184ebaed529bfb0e428aa9a2bd059a8679732d6621fc91974e932bdd823c55167fe8383882488019457803a546e0919993a32cc2b02ae375ec0254bb04326e9146f4595667c393d1961b6701e5db8b728d9e350371096c4cd0d58d3f5857ab4d52e2ff703fb11ed976f0a9adce9f4a9d13e2dc257372b379ae05051210ff7996ff2a255f66215b60f43bf276b3522f8aba3c496607f5c213d49475986fc107882c522dd67ba449ab1bd6c6cffc4f72c93a923b9aad5fb80e804322b5d97a1dc99b75b1cc359b11e94fc1639a002928f5c0752bc25"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "coq-dbgsym_8.12.0-3+b3_amd64.deb": {
    "sha256": "130f006b535eaa388e927e9e0daba4de389a7241d0527342c6b8f4ef9a1f6e0f"
   },
   "coq-theories-dbgsym_8.12.0-3+b3_amd64.deb": {
    "sha256": "4ec971a90fe5c7b95a71b743fbb689121dc9f1388a2210307379f2f8f547e05e"
   },
   "coq_8.12.0-3+b3_amd64.deb": {
    "sha256": "32024a598cea19f754f6fec49f8b78c09dbfa44244d604b59ef8ba845e11f267"
   },
   "coqide-dbgsym_8.12.0-3+b3_amd64.deb": {
    "sha256": "eaa7ced2e34a2d5d19e9ad4554772e1bd9dc2e31a2b98d7407c71598f7654f6f"
   },
   "coqide_8.12.0-3+b3_amd64.deb": {
    "sha256": "204a3a7cefac4b371ff95063fc2f94a6fcb39dc0811abdf70937ed3101a613d3"
   },
   "libcoq-ocaml-dbgsym_8.12.0-3+b3_amd64.deb": {
    "sha256": "f74898fbffbd33b1761a96db2cbfad9255bef4b6adb6669b99e4c833babab581"
   },
   "libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb": {
    "sha256": "68974af069ebcfa516cbbe911165cb84837b159d4fab44302ad093930bc02d8c"
   },
   "libcoq-ocaml_8.12.0-3+b3_amd64.deb": {
    "sha256": "1e9ef830ee90b7e829e04009fb79637795c3cb8fbe16c9e39220a75d4fd05e92"
   }
  }
 }
}