Your message dated Sat, 11 Jun 2022 14:38:05 +0000
with message-id <e1o02fz-000fpu...@fasolo.debian.org>
and subject line Bug#1012667: fixed in dh-coq 0.2
has caused the Debian Bug report #1012667,
regarding dh-coq: invalid maintainer address
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.)
--
1012667: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1012667
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: dh-coq
Version: 0.1
Severity: serious
X-Debbugs-Cc: Julien Puydt <jpu...@debian.org>
dh-coq uses an invalid maintainer address:
Maintainer: Debian OCaml Maintainers <debian-ocaml-m...@lists.debian.org>
Most likely it only misses a "t" in the localpart.
Ansgar
--- End Message ---
--- Begin Message ---
Source: dh-coq
Source-Version: 0.2
Done: Julien Puydt <jpu...@debian.org>
We believe that the bug you reported is fixed in the latest version of
dh-coq, 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 1012...@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 dh-coq 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: Sat, 11 Jun 2022 16:14:04 +0200
Source: dh-coq
Architecture: source
Version: 0.2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Closes: 1012667
Changes:
dh-coq (0.2) unstable; urgency=medium
.
* Fix various typos in the debian/ directory (Closes: #1012667).
Checksums-Sha1:
f1e8f2bb55ac2cff9456de19858c0c66ee37d8ac 1587 dh-coq_0.2.dsc
1c3ca9446eba8e71e8bcfcb291082722fda57670 3756 dh-coq_0.2.tar.xz
fa7f482c6219506840592a3a5599a1fb7124accb 5614 dh-coq_0.2_source.buildinfo
Checksums-Sha256:
168104b517374d1147f6f487d87f7189b2348b8fdfebc0e1ace3a21caf1ebbca 1587
dh-coq_0.2.dsc
8f5ffb0fcb777846e83a51a1e41c686fcc8c52640169d781e1e5f9874d94482f 3756
dh-coq_0.2.tar.xz
28e51a47f4b2b6bcb1ad17d47e374028b3a7ad37c4f20863f0bef05158837e24 5614
dh-coq_0.2_source.buildinfo
Files:
d165bab9003e3f3c4ed6408a7a50370a 1587 ocaml optional dh-coq_0.2.dsc
78337bf759623afe3404423fccdac6c1 3756 ocaml optional dh-coq_0.2.tar.xz
4951d19becc4521a375a395719927c86 5614 ocaml optional
dh-coq_0.2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKko0oSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdLsP/0hUzCYUlpEHjf22lrLTCO5sQObzMLzV
4lup5M9fznpULip0SGpEJf2uTuqlziHaR3C4hoXM9Uu3KdkCporyOTfts323vtsg
M1gcAnCZnVqunlEr9+SAWgkH3qhICW5V2+E8qbteGSDWTa5NmbUPNC69FWMJfwZG
aPbPhaSb+jhBXO3Zvw3j8es2eCUweO9wt7pX0YuHQWp0WCkEoKSBhWs3AOhn95yI
C87JMPIUCoLrBMCUXddV/pc0CFsAT8sr3eGqWYd117hpdumsO5ncGpy9HGcOGjyf
3iwFiSjS0bD3Q7/1p1OPZi/5Po7zpHtdRzYcsSqm21eZvGwSNFgAMw7gfA3kpVC2
UI9Vfd0V3jpFjySa6z29ceAZq3Wd695H9znziM8TsQ4wsUYllAVKWLpAmHNsaowi
5mDNG2j6am19ubwDNCgDG0/YqjELXFRggqOqT/wGKGI+ifOTFbXFxlahLbMzp6d4
WTZiDYLS/XkXJbVk2EKjUY+QbpnwCeAOWEoKnbqeLqliqyh+Lvyqtan11DNTZ47p
0/hZk8YkKy64QyD4rP4MIptkUuXqNdKyDqjZoRvDXkSB2w98Lec4zDJHDJ4a6tol
83Lqt5xPuySVRvoBKvzbXWc9p3cpMeSIzuFnbAEnKsL5gFDaB5g769pdPenjjYr/
WVJzVYjNT1Lb
=ydEg
-----END PGP SIGNATURE-----
--- End Message ---
