Your message dated Mon, 18 Jul 2022 16:00:10 +0000
with message-id <e1odtai-000bf4...@fasolo.debian.org>
and subject line Bug#1015165: fixed in coq-record-update 0.3.1-1
has caused the Debian Bug report #1015165,
regarding ITP: coq-record-update -- automatic record fields updaters 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 ow...@bugs.debian.org
immediately.)
--
1015165: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1015165
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 : coq-record-update
Version : 0.3.1
Upstream Author : Tej Chajed
* URL : https://github.com/tchajed/coq-record-update
* License : Expat
Programming Lang: Coq
Description : automatic record fields updaters for Coq
This package provides an automatic and generic way
to update record fields in Coq.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain it within the Debian OCaml Maintainers team, along with the
other Coq-related packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-record-update
Source-Version: 0.3.1-1
Done: Julien Puydt <jpu...@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-record-update, 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 1015...@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 coq-record-update 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: Sun, 17 Jul 2022 00:44:42 +0200
Source: coq-record-update
Binary: libcoq-record-update
Architecture: source amd64
Version: 0.3.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Description:
libcoq-record-update - automatic record fields updaters for Coq
Closes: 1015165
Changes:
coq-record-update (0.3.1-1) unstable; urgency=medium
.
* Initial release. (Closes: #1015165)
Checksums-Sha1:
d82f76dcc2b9c76fbe104c4499e8337503fd57e6 2143 coq-record-update_0.3.1-1.dsc
9c646fdcc7f09a24cd5d4d06f8f61a263c2050c4 13484
coq-record-update_0.3.1.orig.tar.gz
f7dcdee5d3e1626c2024af02eb854776c70430ef 1820
coq-record-update_0.3.1-1.debian.tar.xz
dd384faea9011e1c5d0544233ed892ffcc344801 7156
coq-record-update_0.3.1-1_amd64.buildinfo
a3d9466f61942ae88ac06976b31b210d1d332a99 14288
libcoq-record-update_0.3.1-1_amd64.deb
Checksums-Sha256:
8f26dcacaface962f2877c8fdc70a1b8b4f9bca6a8e0c1d44b3551c069078103 2143
coq-record-update_0.3.1-1.dsc
88b80b70351feac665d3e794cf6f41d1fe245e4e8602ba80f6dfa69d0e96669f 13484
coq-record-update_0.3.1.orig.tar.gz
d050dc54073d51d9d32bf3f0b241294cd2370f8666b96ba968fd00839d230553 1820
coq-record-update_0.3.1-1.debian.tar.xz
1ad299bc862ba4965d0d7ca4ecef68989e5f778de3842e71aec035a950907860 7156
coq-record-update_0.3.1-1_amd64.buildinfo
6a7c56e289ba25caa66e5f534f1dad6e1e9823e8fb68459cadbae89e015b94dd 14288
libcoq-record-update_0.3.1-1_amd64.deb
Files:
12e9aa957c493e16f62d1afff2367e9c 2143 ocaml optional
coq-record-update_0.3.1-1.dsc
beddb631abb92a10c87d80799ca66e2f 13484 ocaml optional
coq-record-update_0.3.1.orig.tar.gz
4926da80cab98430a821de8e0e54f473 1820 ocaml optional
coq-record-update_0.3.1-1.debian.tar.xz
83f83a436c1d95c382051c3efa06f44f 7156 ocaml optional
coq-record-update_0.3.1-1_amd64.buildinfo
e45f86a8f22f4ebf92551bf2c5e7edac 14288 ocaml optional
libcoq-record-update_0.3.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLTP9ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxUkP/1+XNG4xwJxxBZ7Ztdyn0Fo0prUt0MQD
wIQBpH/hG/vtSMbV7M1eG7fpVQ4R9hkYG6nhN/aRpWKf7ohWS06tEKVjn3ENj0EF
0Jdtdy9+tVgYHZY/IcQEmhG67A8KKHVafs/HmneWo1EHTIOJ9iuIBpRe3la/Upoh
rCTMx5tGIXTxzn0Grwg3wcZCwafaNlmDjwHQvSWWZBMlXM2+lbwVbHxYsW5ydbde
53+6+xbgw0AjY7zBzXPgRqM0g6H1zPHVDi4xWsbpRXJ+5tb+HlyR5IqlPDe8v4IA
99wDnlfE10vHgAUxMx+elKBW8R10FhxfYU+Ehq3ZNdyfN9nP/RgpIlAyYaiR6nSW
s43w0L/V2s7mc+a56llppjMfK7tFV0mtkqegTN5MXrORHN6oANSkDjUJXJAJnvZT
b5Akf8efMxc4MhE/jt/IebDza8SinmX2jFXWKUyj785YmMDtpaZsG1eMx0lQ/Pgr
ce0/eL/W8FOJxL6X6B12VU76uYIJYlnhQbcXxRvrHbxovVFBYoyvnmZdGUl0seQm
B9vbC4zkGPzncFuzx0kjP8aOvM1J2moS7jgrA/4VUHrmWeAHqzv3t9QDkPj1FiR5
0RZT3Q6oxTRdhigrhFsHBMv49fNDHPA5zsPDIvwRaDJO2tweTvh/WWNapT6F0vAf
zi4MyOS41uES
=MMll
-----END PGP SIGNATURE-----
--- End Message ---
