rocq-micromega-plugin_1.1.1-2_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 17:20:15 +0200
Source: rocq-micromega-plugin
Architecture: source
Version: 1.1.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Stéphane Glondu <[email protected]>
Closes: 1145675
Changes:
 rocq-micromega-plugin (1.1.1-2) unstable; urgency=medium
 .
   * Team upload
   * Add missing ocaml/coq dependencies (Closes: #1145675)
Checksums-Sha1:
 9feb72d037777700408f92fba6ba2b75f8ad4cab 2460 rocq-micromega-plugin_1.1.1-2.dsc
 a7575d88e8afe76a9535b4c805fe4736919b208a 2552 rocq-micromega-plugin_1.1.1-2.debian.tar.xz
 e93051f0c3456d6b88c67eb474314f8a6529e38e 265392 rocq-micromega-plugin_1.1.1-2.git.tar.xz
 a2a598fef98b49f1e4ea06fb8f9f9ab5d793799a 17716 rocq-micromega-plugin_1.1.1-2_source.buildinfo
Checksums-Sha256:
 3e2d21b8a78de496d22b10f525e11c426a72f601a5dbd2d178f490e3bbe503c5 2460 rocq-micromega-plugin_1.1.1-2.dsc
 760f32129d7f971286008c7fb4d3406a9d9a646ad6524e010396dc95014005ed 2552 rocq-micromega-plugin_1.1.1-2.debian.tar.xz
 9f389d53cb0e0e6f8ec6cf777f1651b3220adffabaff09010923f01cec15400d 265392 rocq-micromega-plugin_1.1.1-2.git.tar.xz
 15cf4bcd48c9687e87c4d30188e7772ed4f0ca88182ba322dc8c3263e57bce1b 17716 rocq-micromega-plugin_1.1.1-2_source.buildinfo
Files:
 edf1481606a87bffb1eb5916e3dad4ef 2460 math optional rocq-micromega-plugin_1.1.1-2.dsc
 ad104d3884c980546f1d0e9816190198 2552 math optional rocq-micromega-plugin_1.1.1-2.debian.tar.xz
 f6ac29ad92611d62c75875406fad5b3f 265392 math optional rocq-micromega-plugin_1.1.1-2.git.tar.xz
 3ab807b4d332f8e707119780cd6474e1 17716 math optional rocq-micromega-plugin_1.1.1-2_source.buildinfo
Git-Tag-Info: tag=57be73a25488c121398be1dc6cb2374c81dc4b8d fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stéphane Glondu <[email protected]>

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

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmqPBOUACgkQYG0ITkaD
wHm7IRAA6e5qY6VCSSybR7CcaHKKr+ogZ5YmzJYUCAMBNv4EFvJdMGQ6n0Lc+KPy
cqUulKZJzFu+KcjxIvxjOhtuFTaNUlitVd2L5oWXhz/YqOCWGefWhYbayh2+570/
eAVgwRFHUIPmXbhASu5brAChxebssHgqQvs24YswMadOGvn1CsxFHqj36cNWdE2C
btVEoRZfSRYcqsFZdm4/JvmAzeiW27WSEvq06U8tt1tx9XNvEQe1IVRZe/VZqoJ/
Lak+xVHWm7Jbpw16+HmjANDi3NnCsZFE5oqjhHuGKG6aMnnOuO+Lj4/Sty42tUiq
q7MkgHGBZneHTY8Q1q2+c3wdldxsTFj0g2wbi44J4S9q67Yr+whNJgOPBMGumtU4
fCv0VCXck5rXiJhXsyubbRlZN+hIPnpBb4DX9E4JsmYfzl7QCjvTdXvb7ZWoa/vF
wAvL6nU3evvp8FSyyJ/LXp5lzOHCheT8csVM5O5cld4Wy5WAFlm+xS14otykcNUB
Y9nj2IMzLoANV+iF5mPwWrfw2eEIgtrOaiw2nyQ6vOnzNAfKwNTr7M4OHxDIWeG/
hyiyYBP1MwqeiNe8Bj2kghY97WuqkJhegffeXJWSEq0E/HTO2s4AqnOoWI7Odd89
PD6uiH/8O+R8jLM7RXPTcWrTW6F9vcCPvjmbShQ5paIS6ELY9Pk=
=07Hz
-----END PGP SIGNATURE-----

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCao8H3gAKCRCb9qggYcy5
IRSEAQCs9yIyc9S6+s2rwFwPcNn6CqQe7Bd1EH8DNUzB6BKcqAD/brtEB1ofymXk
P7qwtDGzxALckKJS06lgNn2KvRt0qQQ=
=SuBD
-----END PGP SIGNATURE-----