Bug#1005214: marked as done (ITP: mathcomp-finmap -- finite sets and maps extension for Mathematical Components)
Your message dated Sat, 12 Feb 2022 11:00:12 +0000
with message-id <E1nIq8S-0004ND-KT@fasolo.debian.org>
and subject line Bug#1005214: fixed in mathcomp-finmap 1.5.1-1
has caused the Debian Bug report #1005214,
regarding ITP: mathcomp-finmap -- finite sets and maps extension 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.)
--
1005214: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005214
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
X-Debbugs-Cc: debian-devel@lists.debian.org
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org
Severity: wishlist
* Package name : mathcomp-finmap
Version : 1.5.1
Upstream Author : Cyril Cohen
* URL : https://github.com/math-comp/finmap
* License : CeCILL-B
Programming Lang: Coq
Description : finite sets and maps extension for Mathematical
Components
This package provides an extension to manage finite sets,
finite maps and finitely supported functions for the
Mathematical Components library.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
Coq proof assistant.
I plan to support it within the Debian Ocaml Maintainers team,
alongside the other Coq-related packages we have.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: mathcomp-finmap
Source-Version: 1.5.1-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathcomp-finmap, 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 1005214@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-finmap 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: Wed, 09 Feb 2022 07:49:56 +0100
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: source amd64
Version: 1.5.1-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-finmap - finite sets and maps extension for Mathematical Components
Closes: 1005214
Changes:
mathcomp-finmap (1.5.1-1) unstable; urgency=medium
.
* Initial release. (Closes: #1005214)
Checksums-Sha1:
c2457297c45163483fe8e478280f3fcd328b3a60 2071 mathcomp-finmap_1.5.1-1.dsc
25c2a40ed57d5dda6ee54833c482f868f099a1b7 63804 mathcomp-finmap_1.5.1.orig.tar.gz
7157c125522d90983e986af44a9d647079eb3cb9 8344 mathcomp-finmap_1.5.1-1.debian.tar.xz
ef9a20d04b52ff35c2b95ce73749b83a0317bfce 687780 libcoq-mathcomp-finmap_1.5.1-1_amd64.deb
e3e65a7abb3befb3cc666d1fb3a4abd74c266875 7770 mathcomp-finmap_1.5.1-1_amd64.buildinfo
Checksums-Sha256:
88346754f58f840d5b85389d89e78e525cdb299309cedd0306e6e6aa7d46f36c 2071 mathcomp-finmap_1.5.1-1.dsc
beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d 63804 mathcomp-finmap_1.5.1.orig.tar.gz
910584e72db012ff937589c6ed1fd21a3cf4a413bc909af453a38fd2b64de0c1 8344 mathcomp-finmap_1.5.1-1.debian.tar.xz
2f7ff7032272e33a1fe27abb894959487745a9895ecd7115f039371025789591 687780 libcoq-mathcomp-finmap_1.5.1-1_amd64.deb
ee958c73740cf81e3f649b2cf005bdb56419f58dc91ed874087660fdfe098601 7770 mathcomp-finmap_1.5.1-1_amd64.buildinfo
Files:
71961bda9b4f7ba04fa3051311268b05 2071 ocaml optional mathcomp-finmap_1.5.1-1.dsc
65b16ece6ba65b44e24d55b33d50803e 63804 ocaml optional mathcomp-finmap_1.5.1.orig.tar.gz
9fecb322b866c32bda8348f95b3ace54 8344 ocaml optional mathcomp-finmap_1.5.1-1.debian.tar.xz
677e74848212d8bc4b11eec373c4975a 687780 ocaml optional libcoq-mathcomp-finmap_1.5.1-1_amd64.deb
27e4a631e1dd0586bc96b3b45a778076 7770 ocaml optional mathcomp-finmap_1.5.1-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIDaVoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRbdoP/iHO2yZ1fCOeSvgyTdJgTjP/YxwCgR/Z
sa2zoitvdMaJh0WXeWZvTxexsrxNHdudcebhTp8cxUW7vON09mKYompbPPMp0W45
ZfOKK+AVWmxbboTv1jnIecxgrbXcxFWS9GowiGzfKTsGfuy+Wc53RyTm6gJIAV7s
R4i0WcJ1/Jd8KI0V2+ESju4haEXErYQ31kojrXPs+fBGTP0xgAil8/dZA9jEPk6q
T84MoycNFeT1TqWb+E8+h3uo2w6SIeJ9cEShNFKZKdwNxze5nFYr1L09B7rW6Sjl
j8+qY90lXOq4erY80zplfG2n2GIKTY7GBCwoOmS180t3cHaBSdAabSdPH+NRvh+V
y8MVxuNrPxTHz4motaGlhO/s0iJ481scnIlCo+BfgOLkrkKJ/CfkVhXp07ol0Eqa
/XJDLnpcUnZUOHhd2vmZtVbASoGWfqpx21BVQB1+BzTSIL8bHl39T70ep1rEz4nN
gLcXoFR+64kK8NlbMniCHpJbqZQ9RyHQfCLLCyY2JTmH2aUNcAiLnWILfAOrFMQf
9uUXapjNNw2XitMxmdNzhdCDLQ+5VY7bkC/9ymmOTBYBtH2T7ZdygEWgzPHVwBh4
Yg/s8OXPOqNJU9EZT0PuGjKvUsyrTM1rshhM9oopkiT9YE705Nd9ZWpYKrCblupE
IYnA5blUqHHX
=3H8e
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: