[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1010014: marked as done (ITP: mathcomp-algebra-tactics -- Ring and field tactics for Mathematical Components)

Your message dated Mon, 16 May 2022 18:00:14 +0000
with message-id <E1nqf0w-0002YH-4E@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 owner@bugs.debian.org
immediately.)


-- 
1010014: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010014
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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-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 <jpuydt@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 1010014@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-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 ftpmaster@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-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@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 ---
Reply to: