{
 "signatures": [
  {
   "keyid": "c46ae96200d2f98ffdd8257073d2d5d1aea68333",
   "other_headers": "04000108001d162104c46ae96200d2f98ffdd8257073d2d5d1aea68333050261c5258f",
   "signature": "3e073972325f4cabd700fcf3c4931d6d3796cd02487648e1cd26cf5d76501033a038c90b3581a04cf09b9692b2f1df42391678ba3ef43c5247c577ab0b53ca812c741534911914340f359f54e46a2c75298873f4208c4bbf59f19d9ab8043907eeac39f8b849e6f9cde397a648833ae9d7cfbb4c42661df2d05dee623650905eb704d763683f40cc7e87ef89365a9d6bf163f4ca54bb484af42f9f6976460efd7ab3f86ac154fcb28062ac2e072e9c43b9d0ef8b3cc73d5e1f6303793c5bed484762b702c23c60906d416e249c750bea693ebd67dcdfe97eb773e78ef7260308e62631c6579b9e73fb9ee1c49ae54ffba82cde8cfa9680d700b53150aa35daa5ea027196d597ad3416370d1afee72c440199e486038ff205fdd07c22901c42545ffef2931d2f1b3d4773d79feb26c46dd50a6b0d40b6f7c802da201f04c31aa89a7967e4456a085f89770584a3041cdbdcdd4d9bc6762a2ec9be9aaa2ccf6644af157f50a6451155a49b20578020d6eca29bf9b0fc1cb2a4bb615f976c36f05a5cfe7f6631a6a8c19f8a386e3f6ae739be270e3e39d710042389287eab9b0ca1ad5bbe1738a566fe8511b25475b3b17016a4d32593c0618dc3353b0e96802577c05ae28e4b32569a4000927a829ea6ad8599f305d1691b62372f52a494ca0885ff3f5ec3057128a8fc6c1de5065c4392396742696483cec8e17d461eb1905cc5"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "coq-theories_8.14.1+dfsg-1_amd64.deb": {
    "sha256": "a9655a87e1536e1c209b2429e6f522abaefcf33fe8434439a6eb8382069833e5"
   },
   "coq_8.14.1+dfsg-1_amd64.deb": {
    "sha256": "19d0707c84aa51ede08738e70aa81d9b022b6c79348bb7967926a16a77f8da09"
   },
   "libcoq-ocaml-dev_8.14.1+dfsg-1_amd64.deb": {
    "sha256": "82cc14891e52edd4ae6646c42cba67df3ff7429866b9eda69e559322adc92fcf"
   },
   "libcoq-ocaml_8.14.1+dfsg-1_amd64.deb": {
    "sha256": "3498fa3310d068bbe2065598a296e578e229127645199ad171dff4d884478cde"
   }
  }
 }
}