{
 "signatures": [
  {
   "keyid": "c46ae96200d2f98ffdd8257073d2d5d1aea68333",
   "other_headers": "04000108001d162104c46ae96200d2f98ffdd8257073d2d5d1aea68333050262b66df7",
   "signature": "701851217129aec8e60ad2aff5869b270c4c4724e9e637e89156e6cd332a3ea5acc849b3ffc1ee20af951476336e1a382f351c2787dd09ac8a6bfaced834354fd1719e4b84df7a6491a2b9bafb893587621f1f6298483e40d151057c3b1ee2ef80fa4ced96c6346911609b3d8039006f43985b4067944f22d620502f86dcf31984a8ec259757d06c61753e29fac8a28b08a0a3c9ddf93a452e2a1faf4d169a00f15b9d7c4f744a582b8a172955b7720f56c732317238ea645b07a8b2ef80c704c5100c6e644e8c211f9829528d12c0fc5104839067da276cdc17c0f18176cba94c854ef32ce3ff53a9f4f76ef62f31d875cb02aed03cd74e366b106f332a633dd75ed60889b3f1381d47508fef32244671da150fd5013b6e6b1d7b28f202e1438d4c28246b725b2e53e9b7d34fec23e8ebd993bc0775af98881c9b109b1b7333cfe1c49723fe462e2f3721062b83e5b1bec8c8856d6887bbb73303e7366187fd8bac1eb3d4c58fbaaa12e6959615e6861800bc77b47e58f5e747efd52c438cb726514e83129b03ee1b73226374dc6a1dfd320c3534c79ad6bcc34e44df0be343194e1b913ceaeac036d027f9adb95e2eea04a9a35f31967ec0f1ea9e92cb5b6128aa4daf86cb2f6aeb7a60e47e351460c8b41b4568e86f00da4559fcb26dc441ddcfbb38fbbd7629b8683bca089bcc5b83f615e9a9a0b9f69b2fb2b43e80084a"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "coq_8.15.1+dfsg-2_amd64.deb": {
    "sha256": "4a9008ec92f1bd22e669522635688fec3e64bc9c845d906160a340bd0d4b47c2"
   },
   "libcoq-core-ocaml-dev_8.15.1+dfsg-2_amd64.deb": {
    "sha256": "35181cd4d17f3437b39d72b26e59935f0954d060d9bc78a6c223a6461458ef58"
   },
   "libcoq-core-ocaml_8.15.1+dfsg-2_amd64.deb": {
    "sha256": "c75e61656cd23d99e36d14ba73be87c58d6302be6041c272e7835e1c3280e76a"
   },
   "libcoq-stdlib_8.15.1+dfsg-2_amd64.deb": {
    "sha256": "926773ffafb734326a138278bbcc4489571a425576f9bfcbbf91b66cf426da65"
   }
  }
 }
}