Accepted rocq-micromega-plugin 1.1.1-1 (source amd64) into unstable

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

Format: 1.8
Date: Mon, 27 Jul 2026 21:07:30 +0200
Source: rocq-micromega-plugin
Binary: libcoq-micromega-plugin
Architecture: source amd64
Version: 1.1.1-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-micromega-plugin - Semi-decision procedures for arithmetic in Rocq
Changes:
 rocq-micromega-plugin (1.1.1-1) unstable; urgency=medium
 .
   * New upstream release.
   * Fix compilation with recent dune.
Checksums-Sha1:
 ddf5d9c3fd9d890f207dd73d4a6f96417f1517c3 2214 rocq-micromega-plugin_1.1.1-1.dsc
 f77e14bf651672de8bf2e8b601f537e67a93da6a 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 e16234e35ad4c4353656e177e5455f7b0d5ada43 2476 rocq-micromega-plugin_1.1.1-1.debian.tar.xz
 6d047a3c6e83bf5571ddf8522ece0ff2952f038d 3855724 libcoq-micromega-plugin_1.1.1-1_amd64.deb
 28d41b35027d87ad2e32a8cccb317f137972de02 7568 rocq-micromega-plugin_1.1.1-1_amd64.buildinfo
Checksums-Sha256:
 9b54dd633eda0052113046664d2369c7d53be45581c2370ce9e8043579af9a60 2214 rocq-micromega-plugin_1.1.1-1.dsc
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 f3b5a3ec46feab2304a886d6d909263768f222c432deece19a0467038c1e2885 2476 rocq-micromega-plugin_1.1.1-1.debian.tar.xz
 8c0cd3009213edc675f403bb1b33fd576675d6b2e93f71f4e85d62083affd08d 3855724 libcoq-micromega-plugin_1.1.1-1_amd64.deb
 1aea8711470d23c3f077481f540378c94e4e34c7ac3cabc39192d15c7d5ab038 7568 rocq-micromega-plugin_1.1.1-1_amd64.buildinfo
Files:
 0490ae45151fa1b0fe8a77e50414ccbe 2214 math optional rocq-micromega-plugin_1.1.1-1.dsc
 21e0136a9bcd1596b65c2f7ca8ad7217 153653 math optional rocq-micromega-plugin_1.1.1.orig.tar.gz
 d5f6a7970afa2034ecbb3ffa35ecb64c 2476 math optional rocq-micromega-plugin_1.1.1-1.debian.tar.xz
 394e63cde8919380efac1c3f5eb9cb68 3855724 math optional libcoq-micromega-plugin_1.1.1-1_amd64.deb
 dd37c2aac74a6787f3d13ba189995f79 7568 math optional rocq-micromega-plugin_1.1.1-1_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoeEMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVBED/4sW4apytaKPe0BN+vug8xa
ByCNfsAZZVCy0pnwrrfkzf9Ox5vwzsDVjgv2PRbXZ0HCebc8USviUiv48JCBAdNF
QOBmmpy93Wc3svFPTFY5RJQFnqthRTi0y4oXDRvy3FHWb0FJ4BOC2D1iCAhrygPv
cFo4uuLizqwIfGp8uRdKTMKhxOCl/tDMufDpRffCGFhh++sV4y+202E2+j5iaNb4
S5QQAX8tsuE6bca4Mc+MtFycr4/n5mXWcrf7zaiRXoO/V6ftsa6ozPuYiXsKfQkg
5RVkukjM/23sIpUA3LaI4HdXXUzNBsrozA++FWm5rQHy8FFKUCgDEbnG7+/Nmozl
mBkmXf4tbNd2E8bhFUWnn2iCoXxCrB9O66ekqSpLGNEDV/+W5kJdEdnQy2Wy1F2H
yY+8XaRbJOjeShhHKVlNuzXO00FNRaZcp8X/1WH1E6edCLV5MwL6xI43hX3aW496
HnhsQIJje8+5xtZQs71vqRGFYf4tf3wapM+VWQrgaN88WaifFB7w57wVXgyNggMG
rW1vjBhtT98qeqMO2VMD/pqv8yTs81PrLsBru6Jbsfe+iWIIcLCe3g9XQFWyFKZ3
A2ic0sdAkNaG7WqZvTUKzrzqtfQF8LAmGolklJe7i76aooDxyNP1WFqyBzxRd53V
rj1tt3fatiBlj4ybpEKLUg==
=m7v+
-----END PGP SIGNATURE-----