Your message dated Sat, 18 Jul 2026 06:00:47 +0000
with message-id <[email protected]>
and subject line Bug#1142096: fixed in rocq-micromega-plugin 1.1.0-1
has caused the Debian Bug report #1142096,
regarding ITP: rocq-micromega-plugin -- Semi-decision procedures for arithmetic
in Rocq
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1142096: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1142096
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <[email protected]>
X-Debbugs-Cc: [email protected],
[email protected], [email protected]
* Package name : rocq-micromega-plugin
Version : 1.1.0-1
Upstream Contact: Pierre Roux <[email protected]>
* URL : https://github.com/rocq-community/micromega-plugin/
* License : LGPL-2.1
Programming Lang: OCaml
Description : Semi-decision procedures for arithmetic in Rocq
This package provides a plugin to Rocq providing (semi-)decision
procedures for arithmetic ; end-users can use it through various
tactics like 'lra'.
This package is a new dependency of mathcomp/ssreflect, already
packaged in Debian. I plan to maintain it within the
Debian-Ocaml-Maintainers team along with the rest of the Coq/Rocq
packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: rocq-micromega-plugin
Source-Version: 1.1.0-1
Done: Julien Puydt <[email protected]>
We believe that the bug you reported is fixed in the latest version of
rocq-micromega-plugin, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (supplier of updated rocq-micromega-plugin
package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 16 Jul 2026 14:47:45 +0200
Source: rocq-micromega-plugin
Binary: libcoq-micromega-plugin
Architecture: source amd64
Version: 1.1.0-1
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
libcoq-micromega-plugin - Semi-decision procedures for arithmetic in Rocq
Closes: 1142096
Changes:
rocq-micromega-plugin (1.1.0-1) experimental; urgency=medium
.
* Initial release. (Closes: #1142096)
Checksums-Sha1:
40d919596aa32a4f466beee57b8e8cbabfd1b61b 2214 rocq-micromega-plugin_1.1.0-1.dsc
758e755a8458e3257901013e45e340d02cd2180e 153694
rocq-micromega-plugin_1.1.0.orig.tar.gz
82a9db901fe1980bbb35d81e6821e1e46803b17c 1924
rocq-micromega-plugin_1.1.0-1.debian.tar.xz
93a983f348e98288863cf32f444ff937fbe8d962 4140304
libcoq-micromega-plugin_1.1.0-1_amd64.deb
49b785f539ba5a9c50423afbd21b95502f54bf67 7652
rocq-micromega-plugin_1.1.0-1_amd64.buildinfo
Checksums-Sha256:
ce44e9c34b3391d65319fe8c632c230ae7be15ce94d55ccbef1654f6e2767b41 2214
rocq-micromega-plugin_1.1.0-1.dsc
13bcd75391119ac839da5e51306f403dd9ab4b1e7524cb1634b5724242a73148 153694
rocq-micromega-plugin_1.1.0.orig.tar.gz
ff59241b6e2d3abf2fb1b5bebad42801d222c410b577a2b8e76130f010272fa6 1924
rocq-micromega-plugin_1.1.0-1.debian.tar.xz
54d2c8cfc932ed32ac92381964b2904b4631b75c44f2ec3eae59f343cd3dbeac 4140304
libcoq-micromega-plugin_1.1.0-1_amd64.deb
e15afa88128cc43c07a5b5992a7906e868335a6f40a6ce3e36bb54cbbff1c4f6 7652
rocq-micromega-plugin_1.1.0-1_amd64.buildinfo
Files:
32b5d4e0b9d08a10440ba48741f52c06 2214 math optional
rocq-micromega-plugin_1.1.0-1.dsc
554985e322efe4e1a6e346097a1ef009 153694 math optional
rocq-micromega-plugin_1.1.0.orig.tar.gz
58de3b3a1a74b91f2f443b2aa2799619 1924 math optional
rocq-micromega-plugin_1.1.0-1.debian.tar.xz
ac2d636ad09bf8a9c3df7726cb1b3a1d 4140304 math optional
libcoq-micromega-plugin_1.1.0-1_amd64.deb
a4b13f09a96387324d5721df9662f883 7652 math optional
rocq-micromega-plugin_1.1.0-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpY1W0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcGqD/9jA9KWUya59baiEnYHDArM
DaZ7idJp9XZoHLeKtj9Ypo4G0uCChKccfiZ1Oniy8OgJk52wKL73DmxxNAzICtoV
3AL/HXo5fEvBLLh1iz7CKChqp6FwFAiH5BfcSEdvyVIq39+mFuWGinzRXe+S1Z2e
G0tmGeP4ZRb61GPJRm7zuP9V0ETckztGPiBVXzQ3gohZ5jNoy0uetAjZXKMMkhXG
WUJiPvrS2sSbx1so8hONhZEZWuKeaDyKmtXboy245OpWc2id+VDg88+PLrLemRVs
84Kgzd6jp10+iL7YWzln48LMRAzdnEZ7tfyaML4n83V0AX8IiXI2ar1Eu1Q0MNHt
bUAzgMz7cNkcID0jH3GocTqNSmBPdExi9SQ8t8jcK3VbDLMrdn29Nx+O/XOSSyaG
Jqb/5G2sxYHub0ayKLV2uTiCp+qFA0vQgBwTaIU8bMLEZ6/Mz+T44v9ElAqJFhVW
OlXyih7B05DwMxl7W7OYBrxKdHa++OHI5gTNJ1UC0HVSTJAiCl1ZnSNnr3T6Ex06
+jMCFQ3kvKwFJmyYerq7RXnKYDUPUWr7F6vvQEMT448LZr9FoGw7z/CWY63ChOn8
UjV3lKrDCE01rUGlB5vh1hiDnj+LzFa5o6Q4vFMjubTCFTehyO/EWykvTPqhMqPb
BQCji910s1/0IMjn9wgQgw==
=Cbds
-----END PGP SIGNATURE-----
pgp_fjP5JzaLZ.pgp
Description: PGP signature
--- End Message ---
