Your message dated Mon, 16 May 2022 18:00:14 +0000
with message-id <e1nqf0w-0002yh...@fasolo.debian.org>
and subject line Bug#1010014: fixed in mathcomp-algebra-tactics 0.3.0-1
has caused the Debian Bug report #1010014,
regarding ITP: mathcomp-algebra-tactics -- Ring and field tactics 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 ow...@bugs.debian.org
immediately.)
--
1010014: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010014
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpu...@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>,
jpu...@debian.org
* Package name : mathcomp-algebra-tactics
Version : 0.3.0
Upstream Author : Kazuhiko Sakaguchi
* URL : https://github.com/math-comp/algebra-tactics
* License : CeCILL-B
Programming Lang: Coq
Description : Ring and field tactics for Mathematical Components
This package provides the 'ring' and 'field' tactics for
the Mathematical Components library, that work for any instance
of 'comRingType' and 'fieldType' through canonical structure inference.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
I plan to maintain it within the Debian OCaml Maintainers team, along with the
other Coq/MathComp packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: mathcomp-algebra-tactics
Source-Version: 0.3.0-1
Done: Julien Puydt <jpu...@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathcomp-algebra-tactics, 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 1010...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpu...@debian.org> (supplier of updated mathcomp-algebra-tactics
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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Apr 2022 13:02:06 +0200
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: source amd64
Version: 0.3.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Description:
libcoq-mathcomp-algebra-tactics - Ring and field tactics for Mathematical
Components
Closes: 1010014
Changes:
mathcomp-algebra-tactics (0.3.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1010014)
Checksums-Sha1:
2e20a9f726f5d6f31c6a7eb3836e32e0232c8009 2175
mathcomp-algebra-tactics_0.3.0-1.dsc
d5d1d1a9c294947936c1eb46be782a302c7fb9b7 32700
mathcomp-algebra-tactics_0.3.0.orig.tar.gz
6cf56eae937ac8048eae370c1212a403755c92a7 8440
mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz
d81154f7ae54490c68a49f4fbb6b4ae83b1933c2 221664
libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb
d2be91734dd66569c52bf668ea4b9325a1e32932 7309
mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo
Checksums-Sha256:
9a8d067b63a95ac535835094750207e6d85bc094ebcb36ab5edd47ac6e2f7c33 2175
mathcomp-algebra-tactics_0.3.0-1.dsc
5539bedd4ec15bdccfd52412c618d63b7e69447189bf23289f5169d9e23a8dcc 32700
mathcomp-algebra-tactics_0.3.0.orig.tar.gz
3b1a757b1d71f13edca6563ef6fd8aa2675a427cb37b596d196df60a2c0e64b1 8440
mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz
f5228793250180af277e97812220abbe08c9a1e4d0487fc774fb1c71fb939868 221664
libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb
bdb8767f37089703644a5922bf496e25d2c2e93b7d4c7e75820f2fd791a00da7 7309
mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo
Files:
2b0821cefe398ab8f82de90af082ab4a 2175 ocaml optional
mathcomp-algebra-tactics_0.3.0-1.dsc
4056c4fa92303092f4f2abf40dd0d039 32700 ocaml optional
mathcomp-algebra-tactics_0.3.0.orig.tar.gz
2e719a5b322066357fbc727a13bd7a50 8440 ocaml optional
mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz
56e413e49a5f69f298bb46493e9742ce 221664 ocaml optional
libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb
e1e0153527a53345e9d6ea2896f1c29f 7309 ocaml optional
mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ+RI4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJ/wP/3eWV+NNPhFKAy5IRBP1+FFPRF/4+JXK
1LLTGhuCsOLIp+ZwJlD+OA9uS0HSTVGTd+WpQeElDFML6UTVKX+A1ZjJpuThbt4n
VmXA+G0RF89G9A7aihSh/uUpVce8PnRbt/Ifx0ZWwvr8cz0kdj+vLKSCPjKcFiao
5g8TkN/1NGJg4Gim+P/F+xJ1nSxrnAvWBBclT8WgQKyiEpI/7sw9H5tOBiXAQbUk
MwUuUV5+oB8OHuSOX7DbOPEdu9A1Mi28SUr0OYqniju5dFIp90PFYk1vjY9q/wUv
oNqgsifXTEANlB6eJALxxq075bYghDAczWt91m6t9RQ0UbeJhtS0tQWwAsO9XuIN
bsVPy55/sZtrkdvRfjXZdCYbardqUz6ex93EClGsZFsgT2jf4MQFRuX2xCUEnxNU
v7rvHOpkYoc7qBeDuAEvmOlyTgtR7A8IqXEufEbRpnOpznIecdEWRsHlBLJgQPlw
1k7LsRVYI5zLusJX+vxOpmZq1gj4MrgyGW+7+lxhytYSR4lHdGV6ZJfNi9Okst92
Y7PT9epfAHLrt7Fub4PutBuasu14qN/GriSNXlfVr8VElH8pTa2AgUZsfTteHNy5
3PNhtcYIa8MVbaobNbilpUfbdWMsWPGbpJGqcXHNqoFwa7qg7xC1F4w7YUB5zGUK
rvEfZGn2fnma
=b04z
-----END PGP SIGNATURE-----
--- End Message ---
