Accepted coq-unicoq 1.6-9.1-1 (source amd64) into experimental

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

Format: 1.8
Date: Fri, 10 Jul 2026 17:15:18 +0200
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: source amd64
Version: 1.6-9.1-1
Distribution: experimental
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-1) experimental; urgency=medium
 .
   * New upstream release.
   * Rewrite d/watch.
   * Bump standards-version to 4.7.4.
Checksums-Sha1:
 2a87e79985cf46057d647c021882bea245fa063b 2096 coq-unicoq_1.6-9.1-1.dsc
 fd5e166b3cdb9024375e67b1edc0ef0a9d2d4c5b 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 2b30a627882bc039be5977a9f6a00cb538704917 2836 coq-unicoq_1.6-9.1-1.debian.tar.xz
 ca5106f74691ef702b948d62e921a2b8c5c95b66 7404 coq-unicoq_1.6-9.1-1_amd64.buildinfo
 3f73edc83c5dabe6a4acc5fa1766c1d74fafe390 86064 libcoq-unicoq_1.6-9.1-1_amd64.deb
Checksums-Sha256:
 9c3ab10d3a846d10964eae36600a8010af26cf3409685e08b39e20bb071f719d 2096 coq-unicoq_1.6-9.1-1.dsc
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 55b004f1da30cf75190adaa33339338658ace1e739d8d033282d846d92e84581 2836 coq-unicoq_1.6-9.1-1.debian.tar.xz
 b1f31e76fc078582f6712c1c27bd73c9c2c77883af9859c81e32cadbd85bd784 7404 coq-unicoq_1.6-9.1-1_amd64.buildinfo
 03f271af6ef948c6a3d96c822fdfc1c1f58d4a8f0c601e0097cd81a9efc708dc 86064 libcoq-unicoq_1.6-9.1-1_amd64.deb
Files:
 3b9436e0eeeaa64c4c5441a51bbd74e3 2096 ocaml optional coq-unicoq_1.6-9.1-1.dsc
 7b63eace5f3d2a38779195f8bd389599 594021 ocaml optional coq-unicoq_1.6-9.1.orig.tar.gz
 36694c4f758b7f88c63bcb5020be0ea1 2836 ocaml optional coq-unicoq_1.6-9.1-1.debian.tar.xz
 a4f3b59d10a3f3f14b547b41e4053083 7404 ocaml optional coq-unicoq_1.6-9.1-1_amd64.buildinfo
 bbea8b25b0a3de93f0e5cf0e1e7c2e9a 86064 ocaml optional libcoq-unicoq_1.6-9.1-1_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRDXYZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfJmD/0XGYM6ltQTJKo8ecDaPTs1
ojnbvTPz4Bun+FcRImwwkynjAVZd8vfNRJ53vL6jQOOy4tiG2JtXbpCSNJ/zgVXO
l6Ds6bJcuUX4J3m58hC4pwknnQqpuzSqVCD3YV+WNKKZHo8dyGOvNojGIxRCOxkC
HNDuJ1hQ0AbaRR9whpg+OuG+RimLhmgiidzMoa9pLdb8dxGWXVICzH9AvtGbTUDX
UlGcIut9JMxK753Yu1hFjkpmjmwW5JUh0t/F/3Rg0LlS58QBhuuVxh9CSZnpMH7z
k6q9/wz4lE3CJ93EmX9y3JqcQwfLIshCI2xuqdefa4LPC61HHK2/rVcdhZYtVI1N
PuGmZnNj3IjXHOhyGc84vK3tBso0BDZAihvq+6ZLoYmRVCeidxrAGslp1hfPhE6R
97rLD5d1hs8WuAqPrcS3BIVaxm4ohYyI0X+NPmW5thts7dl5wjFDeIkR2tJnw/fy
FCNDIOczXY658MAuQpU8T9yC4N3ZcOR06JPTb5bfr9YCY5qNLQ4I3ApJvoPq5IVy
UW3bgfUBnLiec0WuzQ6K4A0+0GytiLaRsdtdD9QXdfx3AmqbtjjRaLUgVcSw1aob
WEKsSyW51WewZi1couJl/AsLtGbU05ssdLpKCCMd5TXMc2aI/zuF/asH/o1F6pb6
4h+Ng9REZz1RnW+N0paeMg==
=SvHG
-----END PGP SIGNATURE-----