-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 03 Aug 2026 17:37:42 +0200 Source: dh-coq Binary: debian-coq-tools dh-coq Architecture: source all Version: 0.16 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: debian-coq-tools - various tools to manage Coq-related Debian packages dh-coq - debhelper tool for Coq-related Debian packages Changes: dh-coq (0.16) unstable; urgency=medium . * Adapt to the new list of packages. * Bump standards-version to 4.7.4. Checksums-Sha1: b578cbd46882a1a91f41e781f44a1d52d0c7ea3a 1670 dh-coq_0.16.dsc 6b073826801692db7799d8d4ee266e69be38a5a0 10868 dh-coq_0.16.tar.xz f1023cd0f08ce77997841fd0500089200e80ca18 9904 debian-coq-tools_0.16_all.deb d4cbb023bfce37e00cfb9e8c8aee0d1803000954 6880 dh-coq_0.16_all.deb c75249e030fce85e3d4b6cd6c94097449e43f9fe 5732 dh-coq_0.16_amd64.buildinfo Checksums-Sha256: dd8987e224deab19017b2749816798b26f671d3bdfbb1a5f607f1c9585db9f60 1670 dh-coq_0.16.dsc 5f2167b507e8280c4760b3109b934cea0aa98f8336bd3ad15e4342676d611287 10868 dh-coq_0.16.tar.xz a6ce0680c55529867c3f5987cd2766eef4fedd30a6199e789bac304985859f84 9904 debian-coq-tools_0.16_all.deb 13035e1221498fa09a2927f5b462826cf5a00f39b9cbef51a6d41a28faf2d913 6880 dh-coq_0.16_all.deb 0e09d74f69d7cd0f7c0bb4a3b80387619a0ac0ec9f5a6caa667aa6200cb662f7 5732 dh-coq_0.16_amd64.buildinfo Files: 3cf9e04d6039e02066bfc624e40d4330 1670 ocaml optional dh-coq_0.16.dsc ec5df05f13cb78e300d71256cdf814f2 10868 ocaml optional dh-coq_0.16.tar.xz 73b307f0eef5555313e38b90f2b3cf81 9904 ocaml optional debian-coq-tools_0.16_all.deb 3a326634d255fc3eaa282d0979c4f281 6880 ocaml optional dh-coq_0.16_all.deb 7f4cf348289cf53219f97a2772b47309 5732 ocaml optional dh-coq_0.16_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwtvAZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbfmD/0QjoEzrZ7UcPjsFGPu5Zyr YwiuzHi8iKLhO0UtDKY2JHUT1yWpjyxYkbClXbG8L1/i49aC/sTLe2usO2vRTOB9 DTLZNRz+0djEp+SAP4QrtfBOugSZcqBwNa3N5+zBT/dHQGnMZ1FjF7pBsrj8bKOz L5HYQvpIaolMZ1+T7Xk33t9cergWir1pX/r7FB1XGUqjOOwZgF+euwf3o6oMVIZv UIfWdfTnj/xATPL4utswCd9fIlF0q4IGUIFa0Uch9NJnm1BMpKcFDmej+VCjOYtu juqKvKMNvjZcR7kNhH3IEgJv1VpabF2BkeX+qynIbn7IWzLixRUYcIOsFkXD754J XrMkb5mohRiMW+RbAgzg/ejD9PYi+Pl6RICgyUm39zBaek+odGetW0EgsazC344z lsjtmrxCu2vDwFmj+JGPPpDqMIUYTDQmt2N+fGo+yvJzOhdpOOgdPQS/dNJHhc+s UuOKyFgNH/hG3oTbZNEb2FZR9+wNzp9bxyNA/Lfd56qsiN2Sk6c1KTCTEOwIWRG3 UYCg3X0vexII1MXTNv9LVxgvcq+N2GOblRrm4gBOUPXrWBUWoLzFuxCByeFmWZ4z YFPkgzZjz758u5zTACPoKwCc9K96ybG4WbEv6UopI5DAmbuccj4B6MjdcevWRO46 2CIkZel/R+CbZQn/1ksmZQ== =Wfy1 -----END PGP SIGNATURE-----
