-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> 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 <glondu@debian.org> -----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-----
