CONFIRM 125d323d945776f3c0da40afbe950390
Hello,
you asked to be subscribed to the "mailing list"[1] for the Debian
source package called coq. To complete this process, you
have to reply to this mail by including this command :
CONFIRM 125d323d945776f3c0da40afbe950390
On any modern mailer, you just have to hit reply and send the mail.
If you don't understand why you got this mail, please ignore it,
you won't be subscribed to anything unless you confirm it.
If you have any problem with this service, please contact
owner@packages.qa.debian.org.
Thanks,
[1] This list receives all the bug reports (and the corresponding logs)
for the package "coq" that are sent to the Debian
Bug Tracking System. Check http://bugs.debian.org/src:coq to
see what it looks like.
Reply to: