Bug#1010007: marked as done (ITP: mathcomp-zify -- Micromega arithmetic solvers for Mathematical Components)
Your message dated Mon, 16 May 2022 18:00:14 +0000
with message-id <E1nqf0w-0002Yq-IF@fasolo.debian.org>
and subject line Bug#1010007: fixed in mathcomp-zify 1.2.0+1.12+8.13-1
has caused the Debian Bug report #1010007,
regarding ITP: mathcomp-zify -- Micromega arithmetic solvers for Mathematical Components
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 owner@bugs.debian.org
immediately.)
--
1010007: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010007
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: ITP: mathcomp-zify -- Micromega arithmetic solvers for Mathematical Components
- From: Julien Puydt <jpuydt@debian.org>
- Date: Fri, 22 Apr 2022 11:03:22 +0200
- Message-id: <165061820209.3242024.11382114005357763593.reportbug@alibert.home>
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org
* Package name : mathcomp-zify
Version : 1.2.0+1.12+8.13
Upstream Author : Kazuhiko Sakaguchi
* URL : https://github.com/math-comp/mczify
* License : CeCILL-B
Programming Lang: Coq
Description : Micromega arithmetic solvers for Mathematical Components
This package enables the use of the micromega arithmetic solvers
of Coq for goals stated with the Mathematical Components library,
by extending the zify tactic.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
Coq proof assistant.
I plan to maintain it within the Debian Ocaml Maintainers team, along with the
rest of the Coq+MathComp packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: mathcomp-zify
Source-Version: 1.2.0+1.12+8.13-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathcomp-zify, 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 1010007@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated mathcomp-zify 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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Apr 2022 11:36:47 +0200
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: source amd64
Version: 1.2.0+1.12+8.13-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-mathcomp-zify - Micromega arithmetic solvers for Mathematical Components
Closes: 1010007
Changes:
mathcomp-zify (1.2.0+1.12+8.13-1) unstable; urgency=medium
.
* Initial release. (Closes: #1010007)
Checksums-Sha1:
4101f7dfdbe777530c7327754ff0b32b15a913d1 2105 mathcomp-zify_1.2.0+1.12+8.13-1.dsc
709fc943ce093729788dc87614f951bb9412d02d 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
5ad505ab73e0c155ac6d5535274285cd6f0a6f76 8380 mathcomp-zify_1.2.0+1.12+8.13-1.debian.tar.xz
84e662a4cf13fcbff64a170ba42db48a614bb6ff 230216 libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_amd64.deb
4a79905775e85629cce894d240782d115673ea92 7037 mathcomp-zify_1.2.0+1.12+8.13-1_amd64.buildinfo
Checksums-Sha256:
66750a9243e71e0dcda1567b45d413195bee53c3d9d79bffbd7eb93f2e8109ff 2105 mathcomp-zify_1.2.0+1.12+8.13-1.dsc
a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
4e11fa7af5d6eedfc82c3569099881b05caff61a9b19a8c8eef62ede99a4233f 8380 mathcomp-zify_1.2.0+1.12+8.13-1.debian.tar.xz
9561fc644f95836121a0572b9b4b1f663fe950a6ce8619ac1856f3af41a913a1 230216 libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_amd64.deb
fc894010575e910749a3780d46e59ca80743d85107a6fd1c86d0c0e2521d233a 7037 mathcomp-zify_1.2.0+1.12+8.13-1_amd64.buildinfo
Files:
8d70aa9bc90b3d3ee543676f580c63db 2105 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-1.dsc
72b41bb65938a940a8d7bd978176bfda 20333 ocaml optional mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
f2f7902bdbb548c687d109ea6fa2c2c3 8380 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-1.debian.tar.xz
f98448537d026d8190de52a5d13339d8 230216 ocaml optional libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_amd64.deb
fcf19839704d3d3c802a0d591758023c 7037 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJieL0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfWgQAKZpqH3vxC1OaI3IporfALwKnJaJU4tN
Yhfs7JAx6MO6bduarBjQUvM2bt4vrlKZkAtMdXfFHbYgoTmOJba09AcEraRQ09qJ
CZUJdiwM5iU7u+JwgBmeP2oXhAWFMu+z18wb0V/l2XqYapq/8Apd/NSSP6bZS68n
Q6JF5H1hTkzmlPMAUuSX07i7PQsYlj6sxeHaPKwMZfpaCPE5Gda1BYIeO2KWw8+l
qg006j2kE3cEjZFhXUx3qFF2paOMec4XxHfOu8m4avV+StXPKIH2DcteU5M47mhj
3sMgrrcs5Y1scK5JpXpxLsKy+t8RtKMK5t6x1wNTtSWa7y486HPb9xd5eYNN2bwb
ltdKoVHxGKaY+O+mmtF5by4+8YbJ7ft4URr9QC/bEeXkrp11l4oKK2rOhzcXjhd+
zilk111XqLx0CgEBp8qdtzfnuzoS/hGRuwqYzC6ct/rMLVrU2kDaT5V6RtQlxxvJ
809yHJwaII3AWiJFE09EoeTjWHkUIud4LSVYpKUfmqirgqux5aZf8tW74e+GWrDc
HzkglWHmiGSpXYftOVcKHXR0vZKGi8rftc78bkanV8xNJctYG8v3cmqrupNzWjNo
gmyVeUesooGTXpw/beiF5RPksEETXYxNC67hQoubCbow/VavqvxtKk8j1GoRhH1N
MCIA9lWt6b1t
=1uSw
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: