Accepted coq-unicoq 1.6-9.1-2 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 23 Jul 2026 17:29:02 +0200
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: source amd64
Version: 1.6-9.1-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-unicoq - enhanced unification algorithm for Coq
Changes:
 coq-unicoq (1.6-9.1-2) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 60d2e97919e4dc507d4e3727e3821e7634a53554 2096 coq-unicoq_1.6-9.1-2.dsc
 fd5e166b3cdb9024375e67b1edc0ef0a9d2d4c5b 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 5ec76e039e2b5bab3d4496101e99bdf8236fa20b 2864 coq-unicoq_1.6-9.1-2.debian.tar.xz
 b8fd3b6a235efd443c76ba6ccb2550aaf8830347 6919 coq-unicoq_1.6-9.1-2_amd64.buildinfo
 e281fddf94d3999433611989ed82f7b7c79f0be2 86448 libcoq-unicoq_1.6-9.1-2_amd64.deb
Checksums-Sha256:
 505d45509d409c590258bc41e010dac2a2f8c302a52d01224d35a1e8d11d27b0 2096 coq-unicoq_1.6-9.1-2.dsc
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 eea3ccc9a7a60c33c78f0f55847cb36d0e7678e33d4100e79d0744f3a120a46e 2864 coq-unicoq_1.6-9.1-2.debian.tar.xz
 ce18d79eb45f909a975eaf0cfe691a91e1fb0d68f1b0fe9bdee1c92f38e12995 6919 coq-unicoq_1.6-9.1-2_amd64.buildinfo
 a278d4c40c440a1bf6102b779f88102c4692f917846944207dbc614076573202 86448 libcoq-unicoq_1.6-9.1-2_amd64.deb
Files:
 7ba0d0ed3c244685105c7d9d5a3f8139 2096 ocaml optional coq-unicoq_1.6-9.1-2.dsc
 7b63eace5f3d2a38779195f8bd389599 594021 ocaml optional coq-unicoq_1.6-9.1.orig.tar.gz
 4369f233678e78a34a623b3d725db001 2864 ocaml optional coq-unicoq_1.6-9.1-2.debian.tar.xz
 bcde237381092a0f896362c4b2fcbea5 6919 ocaml optional coq-unicoq_1.6-9.1-2_amd64.buildinfo
 4565fa1ae6629e0dea6def1081e6e2ed 86448 ocaml optional libcoq-unicoq_1.6-9.1-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodmcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfyCEACiaVdyw92loSr0HoUvtanu
dGdYScunnsJZ0Y8Ig8hZyWvZlrrYnJRV7h6rHbx5DjjFILQkzmFl4rhEvA+0r0KA
pQ3RqcKN3I5YlM9hYqf04Mh8vG4MbD7YovPUgWfpSkiFHPfeS5+5WdPdBPro5pPR
uNoDRjzKL9APxFI4b8GBQD2mKeOuCdGfOu2Mj3v07V0and3JaPv5xmu9nejWgcRI
pFqPU9r4JFfcWT+QPaHmncuUUCALZp9d5idgaqzilQEWkCFUHal34xi4PD8h2k2w
SWaiefLW9fXnzWeXs3lhmBi8qMVNe8WG2QJOOjRp+fECSRiVoZtDnlQABECTsNf7
wYlRrI6eI8CuM2mF59MvatSAsCLDGrq7fsA/mXym5gaZz5BO/4lN3y1Yian5sOcQ
xcZ/j5zeMFfX9NMg3kPz1lGnddKRlmtvSFEBNnGChMbB81XAS4DC00nvqk6b6SrO
hl/5ahAE3EOPTAWAwC/ao9VdlxRkptb+OOw9LD0cKWcJtfR05UwzdQwe3fkD7Hws
khMJIF5gzUb776KE8gsQuM+sLO+Mgdy1Hrmcw2jf603xkZ+1IpxIUv62oVKE1god
CutzfWE/SrpfOvOtTF9veWtIrCoI+8YgN16UoLuc7In0cFcdyf/VEHPLhNKKWrht
bjxNaQowaCI9ABVOVRc1aA==
=kjyf
-----END PGP SIGNATURE-----