{
 "signatures": [
  {
   "keyid": "c46ae96200d2f98ffdd8257073d2d5d1aea68333",
   "other_headers": "04000108001d162104c46ae96200d2f98ffdd8257073d2d5d1aea683330502623abcbd",
   "signature": "2d73d647d62a3cddc839c96b84adaec08671de515e238a4a1a2a4d7aaf259349bd5def2caf0d2c2cbdb2e125832506846c99267488d7bc6a8576499e10a1a77f7c731fe12d3b8f672394a25469940431dfec255e4f694df1e3823b079adea1d837ed3cbbfd117c2ea06a9cf7587f2484135cbb9f63c9283e06242ba7fc66bede4cd80109b85044d5720d1850b5581bf415279b6aa5bff29bcc5dc984e2c706246ebfb34b809c4d434c4b9dabf57f83cfe1fca6fd3f61001907e9db1128be47174f9a9a9cf6521eaa7d0e31f06861622145b21dfb75b7c361cefaba91127a3854678214d92beab10402b32a2650d64517a7c676f418461c8c523b8b3c0041f0bb87f78abc18d51f8b1072aba5b45c2610bf9a50bd29cb16073d6f107ce69e2361d6e4f85cf5cc15c77c627711d9ba8ea7dba2c2501bf4c671f9025c79b80432c0ba527978063526b5298f5b0fc337c345b9b87b35b8182355d7210bbf3047842b8056b2d45a8d4991a302e2e3eda207aeef44ef87d66cb4150224ff69ace6952abe19463c65155927d0e0a3bd07a2bb60715ebd03a793650be511fce18b34c08a17d4ecdc1665da4f9f23fc27f44d56e86e2df7e833cabb87052ab98fa5a4dd0aa5eb32bb0ac3ad370716efb152fe66bb07817484a963f7c997d36766a1eae7bb6e7bc7334a6950295c99081a1940a264f09cf52e26c3fdd945a5eea5fa40ea02"
  }
 ],
 "signed": {
  "_type": "link",
  "byproducts": {},
  "command": [],
  "environment": {},
  "materials": {},
  "name": "rebuild",
  "products": {
   "coq_8.15.0+dfsg-2+b1_amd64.deb": {
    "sha256": "02ae9d108dc8ff3e820369f09f0e3d5f14a3261d6cf0631850a6c98f9178c5f1"
   },
   "libcoq-core-ocaml-dev_8.15.0+dfsg-2+b1_amd64.deb": {
    "sha256": "9452a67b8ce2e82158d74878270ca413c2bc38f4de66d094aecbcae5b027211a"
   },
   "libcoq-core-ocaml_8.15.0+dfsg-2+b1_amd64.deb": {
    "sha256": "760609f98955daad8e40644a94f20f974d187df21a52877c4a3ad2f264f4cbb7"
   },
   "libcoq-stdlib_8.15.0+dfsg-2+b1_amd64.deb": {
    "sha256": "5bcfdeeee7a879b561426b12fa0cb29e6245b6e024d6cba128456cf4e658be29"
   }
  }
 }
}