coq-unicoq_1.6-9.1-3_source.changes ACCEPTED into unstable

Debian FTP Masters <[email protected]> Tue, 25 Aug 2026 12:07:18 +0000
Newsgroups	gmane.linux.debian.devel.ocaml
Message-ID	<[email protected]>
Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Tue, 25 Aug 2026 13:47:29 +0200
Source: coq-unicoq
Architecture: source
Version: 1.6-9.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Stéphane Glondu <[email protected]>
Changes:
 coq-unicoq (1.6-9.1-3) unstable; urgency=medium
 .
   * Team upload
   * Add a packaged module signature, needed with OCaml 5.5.0
   * Remove Priority and Rules-Requires-Root from debian/control
Checksums-Sha1:
 1a651d382fbef4f96338106cbee8ce22becb3047 2333 coq-unicoq_1.6-9.1-3.dsc
 4e1ef5be2dc02d4e7564833f64bd896d67af0892 3340 coq-unicoq_1.6-9.1-3.debian.tar.xz
 4aef6c0f477a13f1bbc5b4a34d77f1510795a7f0 641228 coq-unicoq_1.6-9.1-3.git.tar.xz
 28c76ca03b205d50751907758364b59fd1531ca8 17680 coq-unicoq_1.6-9.1-3_source.buildinfo
Checksums-Sha256:
 4be277158e709aff1c0f240a9a132f189bc382a5ae63fade1f44365b826d87c4 2333 coq-unicoq_1.6-9.1-3.dsc
 28863f6c9db378299ebaa910505b6a2d08535d9f85558e3e0fedb1828ee846ea 3340 coq-unicoq_1.6-9.1-3.debian.tar.xz
 6b9fd8fe49810c895176e81b74af86e3e101602ad0c00f0c56812a01efa4916e 641228 coq-unicoq_1.6-9.1-3.git.tar.xz
 865977687b19162b7b2fb5a60821078b6fa659dbbc17b7877ef6898f61a54497 17680 coq-unicoq_1.6-9.1-3_source.buildinfo
Files:
 b82715df67c2391908357fd4213d3848 2333 ocaml optional coq-unicoq_1.6-9.1-3.dsc
 9887c1af7c50e10ffa1307f94d26138f 3340 ocaml optional coq-unicoq_1.6-9.1-3.debian.tar.xz
 26cbab34fbc2094ca05725fdd02ab580 641228 ocaml None coq-unicoq_1.6-9.1-3.git.tar.xz
 da7821e197f0e7d06cd8de7eb5aa9c4a 17680 ocaml optional coq-unicoq_1.6-9.1-3_source.buildinfo
Git-Tag-Info: tag=f81e8ab5586ec55ad1a63226aba101237affa294 fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stéphane Glondu <[email protected]>

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

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmqNgh4ACgkQYG0ITkaD
wHm5OA//foSaZRTUMFTKgUYy06akUv9q/fDLSlQL21wXkaToeHwtpRfEnLdcN4qR
cC1TnIK8lWI5SEDauHCQw4rwRSkhDEBtC8tmZV5mI87am+Evv9afUxUgOFbO/yNY
99iTBtMqWzudY4XFon/SjxO1eYdtIi25NGJfZlaZe62wcl8ZpRLqAppVVen1PM4X
ZVDh41isniz8EiWkPQhI7f4rNBYRoAnjgAabVs7Hei+AbOjQ9A1Yb3FhUO982AoX
YW8Mehtj56vso8crrkTnwdtpy8vGzxsZA0HVtAqMvcP6FGwZ4WzN3oyXPqFuHCWr
btjvMUyZjifQUqJlyx0sujZ6nqGKqkmT9WBHNzZ1TLBvU9JiYcVsunEESnTpOiKx
5lQ0hkAU9xb+r2fI/cH9B6c3WRepEjtRzUHFs3IykADtSp2QYQH/Vy+hp95XEbN0
lHbzJkh3jGLX1AD3Cw5jn+XDo3upeTmzX5Wbcv9sMoQ1XfFtDm054zVWhKv4cSyD
ygK4OhVy8f8PZaZQegiPuP0OMjnE8U7aDZLCHu1eQ1KWS62Y53qApqEaZqKqZTEQ
lK4TrnktZ8G3R0PU81nTjjOTyLAeBx8VDmGQ9lkXKLdr1y6K2wQnn34vofHQ9Qrf
LHKUCwCFDSDZ5QmfxEQbITryxhnFUYXO6+R0K4UKegY8TYmRNnY=
=5SHS
-----END PGP SIGNATURE-----
signature.asc (application/pgp-signature, 228 B)