Accepted dh-coq 0.16 (source all) into unstable

Debian FTP Masters <[email protected]> Mon, 03 Aug 2026 16:49:13 +0000
Newsgroups	gmane.linux.debian.devel.changes.unstable
Message-ID	<[email protected]>
-----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 <[email protected]>
Changed-By: Julien Puydt <[email protected]>
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-----
signature.asc (application/pgp-signature, 228 B)