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

Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 26 Aug 2026 07:35:08 +0200
Source: coq-unicoq
Architecture: source
Version: 1.6-9.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Stéphane Glondu <[email protected]>
Changes:
 coq-unicoq (1.6-9.1-4) unstable; urgency=medium
 .
   * Team upload
   * Use OCaml 5.5.0 compatibility patch from upstream PR instead
Checksums-Sha1:
 33a35c89ca03ab1bd6e9105feeb7f7fc14c9dcd8 2333 coq-unicoq_1.6-9.1-4.dsc
 57c0bdaeda102f2f279ac3c16e32b48e51757c4d 3468 coq-unicoq_1.6-9.1-4.debian.tar.xz
 e80063564377aa52e8482002bea0b816c30c8bb4 642856 coq-unicoq_1.6-9.1-4.git.tar.xz
 2577f7f1649cce65581bdf036cb2ad2d0cc4313b 17680 coq-unicoq_1.6-9.1-4_source.buildinfo
Checksums-Sha256:
 6512fb0d30c0112c2169883c6910e7ff1bac98832b5c859042ef3d969fb1a11e 2333 coq-unicoq_1.6-9.1-4.dsc
 5868957ac8efd4001f6147236acc9c74942ea9cbacec97c934b1e1f89a233e7d 3468 coq-unicoq_1.6-9.1-4.debian.tar.xz
 e7cc1a35aee8b98e1aa7be674615e38211ba78ed8c44ab3e9a94f31794499f30 642856 coq-unicoq_1.6-9.1-4.git.tar.xz
 a22354b5028bc034500845973450da546c7dc671a2b0ff73d9f4c3d74af02062 17680 coq-unicoq_1.6-9.1-4_source.buildinfo
Files:
 311b1724c040e9dd5e8b62b4342b03ca 2333 ocaml optional coq-unicoq_1.6-9.1-4.dsc
 3adc8f503b679bb827b6ef993c56aa1d 3468 ocaml optional coq-unicoq_1.6-9.1-4.debian.tar.xz
 a4c2fd44d78373da3a204b535496609b 642856 ocaml None coq-unicoq_1.6-9.1-4.git.tar.xz
 8bff1e733a29147822f59fad1cb3c9ee 17680 ocaml optional coq-unicoq_1.6-9.1-4_source.buildinfo
Git-Tag-Info: tag=fc51baf72fd2fdd544d50bda038f9405318853bf fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stéphane Glondu <[email protected]>

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

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmqOe4gACgkQYG0ITkaD
wHkaaw/+JhGbn60NUNCvv6xS6nq3hTlnI/IsvbbsFGM4GWlzHy14aba4RgUTxBoy
cyDg3XeGZxKW3VufXqD2oA6PRNe8wE68TuanspePxAJp78IfI6X39FOhtn66gCK2
2xhwlt2zhv/pnPdmhTynt3oia20rrSZtq1B9U4S2Kle5v83KWeCA16kMzEFNA0Hf
joqDgcEyFNsV68bes2gI7MvXQ/uMVL9/MCGqE0zCQ9sE0aNo/uefO6xlXdqROwFK
fHU27csvv3P+jiirDjoXxucAfE2UrE342GpVCaspsTEKubRabnLaymt8CyERgUb1
8bnK61BA5aIaTkTPYWXui3ozBzWEEGppyimkUfIWp0XxOlYMrXPgPq75IPnHNsg8
dpiG62BFWiPqXh+lUdqxZKCH4iTs51oxEcyD2/k9Ma0ub1kNZx5IBsDeiNhhanAs
XQ6HMizJl3DHwXpZkWfriz5d3/teORF+9rRoawqE2U8Lr0kZOfKRjyZ25FhJhIMD
VJ/ELqAEY/8dVBTLCmRunX31fM/xx0GJVmi0DrxCJqR3i9P75OpraqlI4i7uU0U7
C43RDiKN9tr8LgV4BIT4wEisT40t4atAL+mv1dkCDgJ+MiQUH5Saj/nKT3aApqhI
5a+zh1GnTRHbIvQ4wTkHaloZjE8Uy97ApGhhoZwPvsOPImN9kJA=
=DMRQ
-----END PGP SIGNATURE-----

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCao5+RQAKCRCb9qggYcy5
IQCCAP9ZRzom+S5YTi2R30m3EdQ33DrsSRLz0Ef/G2UUkxYWLwEA/hJafGFgadkq
QfX5Fdf3uibWv9DwOMfAQhHfvEIZlA0=
=MO/r
-----END PGP SIGNATURE-----