-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 31 Oct 2026 10:33:01 +0100 Source: coq-corn Binary: libcoq-corn Architecture: source amd64 Version: 9.2.0-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-corn - Coq Constructive Repository at Nijmegen Closes: 1143292 Changes: coq-corn (9.2.0-1) unstable; urgency=medium . * New upstream release (Closes: #1143292). Checksums-Sha1: 42f70245d0f8024ccf77d5ce6a4f9d447d5e3d3e 2117 coq-corn_9.2.0-1.dsc a4d2c3e70a5ec505413a0f89c7d2598919f9a8d2 1322383 coq-corn_9.2.0.orig.tar.gz df2f227b717975dde4d583205a9c7a89e5e5b840 4468 coq-corn_9.2.0-1.debian.tar.xz 607808200c122501a0edfbf4f1925ed09f5ef456 7474 coq-corn_9.2.0-1_amd64.buildinfo 8d949032275a9257d4e073564104cb38813d2954 13366104 libcoq-corn_9.2.0-1_amd64.deb Checksums-Sha256: d30d5ddd15d54cf32393b6fc81ff2c6434a4484e151fb4ac2da01a01db93eff3 2117 coq-corn_9.2.0-1.dsc d34e30c278209eef5d566c97f2b98c5fe1981d99cec29e269fb89feaf45b9109 1322383 coq-corn_9.2.0.orig.tar.gz 7dbde5967582f37eb1514702d75ff032f3b94d8ac09422718d17021d2c23148c 4468 coq-corn_9.2.0-1.debian.tar.xz dc6de48348cc9d7125e3b056cf3edb405d8c16735eb5be4a8b1128659bc177fd 7474 coq-corn_9.2.0-1_amd64.buildinfo 74e826cdc6f9f983fbac153fc3cdf6cdae3a79c0018dcd61413d96a0f7fdd4bc 13366104 libcoq-corn_9.2.0-1_amd64.deb Files: 560a47083d10eb563faaa35a91989244 2117 ocaml optional coq-corn_9.2.0-1.dsc 9355d13cfcb76c052a8c8b7cbb6b157c 1322383 ocaml optional coq-corn_9.2.0.orig.tar.gz 3b2f77d1703993ee4b8a45d236ebe0b0 4468 ocaml optional coq-corn_9.2.0-1.debian.tar.xz 79e9f1b93cf8ee4c4f89461fc2b46d9e 7474 ocaml optional coq-corn_9.2.0-1_amd64.buildinfo 9b6faf7ce6be6474e124b82a0fae6b92 13366104 ocaml optional libcoq-corn_9.2.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmrlvmEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTUTD/48lS/upOT2PhkSSVr67uZr URtl4GqDJJu5EzHGLUJUcn29ZVM3ZnRfkpOsV9BGnIOO5ul+LOJpavRKspdnEIt+ esrI4wKFmAmY/t7swBGPtV/3mtU2YwlU8jKlhGSSQJ85gf/vnOg/wR/MmgF06K0T IwuYqUEOdQgXyaQLzPwROuRyteog06/c2+0jABOm/vfNMH7iMG2v7B3pNVgNliDW WPlJUlVjvCniUindOxYTz1N/gRmjgRH1ugNrwDwMa10n2b91S/f6GYl0NP7KYCBB tMz9P04mjcfD9KU5Js8xPUaqok8tzcim39Fa6VKPXgwTqzqKxeYCTihca2X5Cdw4 2ihaLRf4l1JbxHFMHeatZAYhfuyZyW+slqzERtjoUYh+yuTcgbAwTMpVVxLB7ZAD FOCAI1KRRfdNGQy1LLA7XtvwoSLd+hqsH7zKCf7ULRPxZBSOcLaENZYXWRie/RP7 +RTwG2WGonUDuXRubeh0J0xLu54T84AeqIVqQ7Y6X+KJMgvhFXej1ktiAV2qyK55 EZa0QbeyaBLe9kTBSIyas0Mj7MUHObe16DBTKmA4R2WKLLvIUDJzcHkdCDoEVnRM cA20gAkYdvDVrsAPZ7AndKUHhEdNPoF3VEiR2snYFhpdFRkZ+GVkYVcSgqEsxeqx n91LXprls7Es2J5kAMvjpQ== =DZqA -----END PGP SIGNATURE-----
