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

Bug#1014585: marked as done (ITP: coq-stdpp -- Extended standard library for Coq)



Your message dated Fri, 08 Jul 2022 23:00:10 +0000
with message-id <E1o9wxG-0007ZD-7G@fasolo.debian.org>
and subject line Bug#1014585: fixed in coq-stdpp 1.7.0-1
has caused the Debian Bug report #1014585,
regarding ITP: coq-stdpp -- Extended standard library for Coq
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.)


-- 
1014585: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014585
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    : coq-stdpp
  Version         : 1.7.0
  Upstream Author : std++ team
* URL             : https://gitlab.mpi-sws.org/iris/stdpp
* License         : BSD-3-clause
  Programming Lang: Coq
  Description     : Extended standard library for Coq
 This package provides an extended standard library
 for Coq, for instance:
 - a great number of definitions and lemmas for common data
 structures like lists, finite maps and finite multisets ;
 - type classes for common properties like decidable equality,
 finiteness or countability ;
 - various tactics for common tasks ;
 all of this dependency-free and axiom-free.
 .
 Coq is a proof assistant for higher-order logic.


I plan to maintain this package within the Debian OCaml Maintainers team, along
with the rest of the Coq-related packages.

Cheers,

J.Puydt

--- End Message ---
--- Begin Message ---
Source: coq-stdpp
Source-Version: 1.7.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-stdpp, 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 1014585@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 coq-stdpp 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, 08 Jul 2022 12:04:52 +0200
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: source amd64
Version: 1.7.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-stdpp - Extended standard library for Coq
Closes: 1014585
Changes:
 coq-stdpp (1.7.0-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1014585)
Checksums-Sha1:
 2cfed075542fd55cd8b11a2496e5183977f78c21 2036 coq-stdpp_1.7.0-1.dsc
 a87bf282e29be7cb975fdfe7c16bcac2bfa5338e 237656 coq-stdpp_1.7.0.orig.tar.gz
 8507880728ef6cd9199ac72df5bf99201c63d2b5 2228 coq-stdpp_1.7.0-1.debian.tar.xz
 e5b333b78d5370ace25e5aa11e2454327962e5be 7098 coq-stdpp_1.7.0-1_amd64.buildinfo
 6437f33fd7c3589a87cd34c75dcdf45164d9a616 3789012 libcoq-stdpp_1.7.0-1_amd64.deb
Checksums-Sha256:
 954162c9621baa36e699d478e93e69d84c4bb674244743d2afb94965c1a38f21 2036 coq-stdpp_1.7.0-1.dsc
 ff3b87190b1128c8628ca692e54f3cad6af43323ec6d3facb8507d43e541bb07 237656 coq-stdpp_1.7.0.orig.tar.gz
 38f9f6aabb1870b72f104fd69f39ad5cf7f6930b6c16911205c693ec610003ae 2228 coq-stdpp_1.7.0-1.debian.tar.xz
 00c91cca0544f89579763725f1f77ae901033f947a2e2ec636bead3811300089 7098 coq-stdpp_1.7.0-1_amd64.buildinfo
 9ebd2ce4e52812f9c2e4988bf5a44f02c51713d89cad8fa2ada2def19e5dbbf4 3789012 libcoq-stdpp_1.7.0-1_amd64.deb
Files:
 54f0a1c313f240fb60dad38453614e14 2036 ocaml optional coq-stdpp_1.7.0-1.dsc
 06f68719797be09a97e5cb709fafc076 237656 ocaml optional coq-stdpp_1.7.0.orig.tar.gz
 8e8e2643fa938d7b03955a62d53f4dab 2228 ocaml optional coq-stdpp_1.7.0-1.debian.tar.xz
 573eb399b0e7fb3be49e76aed13ba5c0 7098 ocaml optional coq-stdpp_1.7.0-1_amd64.buildinfo
 e78e198a3dd7eda076ba5a2cacdb44a6 3789012 ocaml optional libcoq-stdpp_1.7.0-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLIBF8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRVtUP+wb7XmVUSJZjmuDv2MU5yYuaJXKCjb+Z
qR3pVtGBgfBdmD/tbPRJoqn6LLi37i5SC5FQc09FNfHl9CljG0NfyroxVwMGg67s
d/ox3H1hUPH3jGSLvLS2gvK7JkF2R8bJXeQljzHKqGccriDgkuqg2pFEQdOjPXlL
XnYHkJEZjrqHJe4Y5aOVLkjRYszgd9rcp/VHBIvRtl+Naos9/57YVjzVWTZlm+ye
tDlTsNaut5Vn9nsgDJd/8AWxK8oXgFW5zrb54bZT/yYh+UpPCzbJSZJTQQx3SXHF
e7qNaw08tJq7btw8XicPMcq5jJiJfGIbE4FoAPjb75upNq/VJiMoWW+FFqvP3lf1
A6POFS/Qu5KtPFU+wlleuyQ/HoHfTi265z7zaiLmHhcFV2xtBBia6UOIlZ+O7nuP
fHo6Q/S5tmHQvht1muaY/jT1DVGoXdPecid8miznYPGrFSeSKTTn2Xr+ynTUYKiZ
2svo9wReqtWGcxTpdGFUT2jikM++Cm377m7GIQMlNphUgVqUeUAuwMJoz4/gvMRP
DooAGPlLcjFYun2j5GbRGWOaIhWdSYduetOfLDEA0CY0ksBB+hPVtZGpSaSPG+FL
PsNwaTOLnMbR7THwWJ123fqBnQboTEpkszshCZKwFTfEcKgNRypcujgRqFrBamVM
3T7ScS+KtdlO
=nqBj
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: