Bug#1015021: marked as done (ITP: coq-extructures -- data structures with extensional reasoning for Coq)
Your message dated Mon, 18 Jul 2022 16:00:09 +0000
with message-id <E1oDTAH-000BDu-G2@fasolo.debian.org>
and subject line Bug#1015021: fixed in coq-extructures 0.3.1-1
has caused the Debian Bug report #1015021,
regarding ITP: coq-extructures -- data structures with extensional reasoning 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.)
--
1015021: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1015021
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-extructures
Version : 0.3.1
Upstream Author : Arthur Azevedo de Amorim
* URL : https://github.com/arthuraa/extructures
* License : Expat
Programming Lang: Coq
Description : data structures with extensional reasoning for Coq
This Coq plugin provides finite sets, maps and
other data structures with extensional reasoning.
.
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-extructures
Source-Version: 0.3.1-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-extructures, 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 1015021@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-extructures 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: Sat, 16 Jul 2022 14:29:31 +0200
Source: coq-extructures
Binary: libcoq-extructures
Architecture: source amd64
Version: 0.3.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-extructures - data structures with extensional reasoning for Coq
Closes: 1015021
Changes:
coq-extructures (0.3.1-1) unstable; urgency=medium
.
* Initial release. (Closes: #1015021)
Checksums-Sha1:
5615525a1d0be229382117fcdd25e7033bef6d5d 2161 coq-extructures_0.3.1-1.dsc
24c4218103e6bbabf4f18a7e00ff7e63d25cb2c4 38296 coq-extructures_0.3.1.orig.tar.gz
4d2305b012a12f7233bfe31f1fc3648f51797948 1916 coq-extructures_0.3.1-1.debian.tar.xz
8655fc11ef9a1018b3bdc5f17f4e187b2f2c75f8 7214 coq-extructures_0.3.1-1_amd64.buildinfo
aafc5389b93ec6700e52bb6d78bf5698003c6332 587200 libcoq-extructures_0.3.1-1_amd64.deb
Checksums-Sha256:
e4593217b9ecc695c22893f8f70794ee12c849491b0956fdfe41325fa68e3aa0 2161 coq-extructures_0.3.1-1.dsc
5280078a7b847efa8ee11feac792ea4d5c1556d5911c67c5fab93c56dcceb015 38296 coq-extructures_0.3.1.orig.tar.gz
618e3dc2157b66d72b986cb205438bcbfb85841b70b9e8fa35e3fc0cc2e8b01f 1916 coq-extructures_0.3.1-1.debian.tar.xz
cdcd929d58f041afa03a361d8b9340075807dfc463532bb0ec81a7e850ee275e 7214 coq-extructures_0.3.1-1_amd64.buildinfo
1812af114c5a8d6624717f539dc6c1e670c26775372d3ad3c1e0953cea4a554e 587200 libcoq-extructures_0.3.1-1_amd64.deb
Files:
ca2e2924539b09d4cfda373585aef7d3 2161 ocaml optional coq-extructures_0.3.1-1.dsc
32bc923a3a383ede669fc9063cffa52d 38296 ocaml optional coq-extructures_0.3.1.orig.tar.gz
d03d261d0145e2c2e0aed67d4555bd5c 1916 ocaml optional coq-extructures_0.3.1-1.debian.tar.xz
dc04f3d13bc9016f4653a043fb3f5382 7214 ocaml optional coq-extructures_0.3.1-1_amd64.buildinfo
10fa6f0e39187face9f5691feeaa7d11 587200 ocaml optional libcoq-extructures_0.3.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSsFcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLPsP/0boVeAbtRY3F77koqMqBbsIIsQYRu4A
e9FZL5pWl8hfITjJr2wM5jqxcdd+qwyUkiWNYChNgFRfWYbhpQk3A7cv0pjCa3ve
DNxv6FwmCTYnrLKY88FgK8OpUvG402hoywi/b9jJVvqrwwyJtoSMoRJf8Z0ejqNe
i+CdR1Lx5xkYptqfcSkt8m+Tr+cSkmtAHqvtP1ufEsBtRD8KXcKxeNYzAKgjkgxT
bzTQ67spQySg3ds0zRnnwXnXpl2oGW8QLFGYuqCrDl2TntgfPd2KXiDSAMhbFcTP
MWeFKlVfzEo7+J3CZQ9TPAzTHEswv8AQnG+7n7a9eN8r1EOFZcMx0EdXg3jlZYle
MB/jBp8/TURP83XJz7OLEVMhtbqGD4GQNYk12eH75LQNUvfaN+7qOmVtN9/6NL2e
7dvAlQYeC1ytsNhAnH0s7DRyzWgWt3RKSo/Ux0fXfdlr5oVhB9PQ6r/L5H2F4Vks
rHe/IdX7FxZvSZXYsKn5T2fFY+1t124T8KtgCLSq2E/V1WD1S77EuPqTGP6ndwSx
2AbBb4LGqdFjaP99Niwl/e15sL2vOxnv8hhrYyHQpE3RNbqjHFd4F0UW1I2FfFda
yrhZ1keAAFXrQh7s+cOD736klv4h1RgoueuWepQGaDnQaIl1gAnWvPXnj2tVY2Ud
p/VM2RDtJ1Ym
=s3/b
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: