dh-coq_0.17_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Tue, 25 Aug 2026 13:50:16 +0200
Source: dh-coq
Architecture: source
Version: 0.17
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Stéphane Glondu <[email protected]>
Changes:
 dh-coq (0.17) unstable; urgency=medium
 .
   * Team upload
   * Remove Priority and Rules-Requires-Root from debian/control
Checksums-Sha1:
 30c2b7f220192f6b1f5841124bf81104ce20f07b 1897 dh-coq_0.17.dsc
 b07192d9c5ba0c672268f75fd702aae09dc64e33 10916 dh-coq_0.17.tar.xz
 498396e6887024f4c1afd383e04e5af9fe049ffd 18768 dh-coq_0.17.git.tar.xz
 91a03109b1942c7b93a4f0f6d760f0edd4a0f49c 17644 dh-coq_0.17_source.buildinfo
Checksums-Sha256:
 a4ff3667f5547fa9f8ea08b226445919cce62c4d87e5ed2aea53b7efa88b4b0b 1897 dh-coq_0.17.dsc
 2f51fa224d04deef97940bc4404a60ab1ec72dab6e8ecbb348a886546d7993eb 10916 dh-coq_0.17.tar.xz
 ee1452a3c18cbdd6d96799f179c882567e02179ffea9e5e71d7fdc0882280e4b 18768 dh-coq_0.17.git.tar.xz
 fc04f2de405f918e2a0355949cc0ef9e3cc51875e77ecd818e3a1ad54ea72edd 17644 dh-coq_0.17_source.buildinfo
Files:
 e61c5394f164eeb2a0e7ca096a8bf95c 1897 ocaml optional dh-coq_0.17.dsc
 746854a7e9d753eba8c61373ac07de76 10916 ocaml optional dh-coq_0.17.tar.xz
 c4b46f8a8b30cac2929e315147eaca9a 18768 ocaml None dh-coq_0.17.git.tar.xz
 0c2c4743a89efc291902be2b6eef622c 17644 ocaml optional dh-coq_0.17_source.buildinfo
Git-Tag-Info: tag=266205c335e5fa6e14387095ea4209b53fadbf56 fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stephane Glondu <[email protected]>

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

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmqNgpEACgkQYG0ITkaD
wHmPmxAAohQ8egrMuosmZ227BwdFLBfPHuVczuzYlHtnR4/orna+9NVaZBKThGsk
fIcyuOxHKdtIThwCCPk+jqhnq8XD2RofeSbvQ1WAc7Fqf7f26wP5wurJfyiv+inN
R5qkFgB/pMGae9RKqUOUhHl7E95wgmv3Mo1y8xsIQ5Gx1Xd93CeW7w5zWERpwJbF
DFXX8rclo50gXxOzyxbXifPsdKE6hM08NwC47htE/wZEXHcf1mDqFdX1SxLL5GT7
GF/1zUPMVV3+J5keF+fhTG6jI7a42CTQo7ofCgu27TeIwAB7olNEnRAl5rEQ662d
iTIIA7ZoHyNzMT5D188mNF7tVEKf13MYyuEbUbKUaZBbAHnJhidRgB6clEjBTbgn
BoaMKH3tP4oryHiNhAuWr/NRieXt3+kyn4aiYXw2q4KVqAQsoWd0VPNwzZ6Z4tV0
Xxs8MTHtZmsmUAhCmgkWpIcR+w31j3hgl9O/u/OHrS/M1mW/6PNndtXQCEgCIODf
pTnjciB8+c0+wmw4wEnn5drn2Cp1tn5JxL0fo71rL284txQXZcitxAGZgXyy6IDc
wTNCfKhK/v4l/x1Lx4tdWcO+VJdJYhCOC8VxNfMzujY4sk9R4dtUwhpnfJQ9xUv+
L8AEFNHvVKgaG/0HyaXs6/qorjsajb7b8zxXXqFK4E/7+UTx5pA=
=cO7K
-----END PGP SIGNATURE-----

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCao2ISgAKCRCb9qggYcy5
IXzhAP9LlVc4Dkcbls7HlMjOdvPKSxPz/GguM/KYwfdMAm+eSQEAzIcVU7aMYXak
5WKBFYSC/Zoa076bsrAVeqHRybmeXAU=
=1thk
-----END PGP SIGNATURE-----