GNU bug report logs - #42238
gnu: metamath: Update to 0.183.

Previous Next

Package: guix-patches;

Reported by: elaexuotee <at> wilsonb.com

Date: Tue, 7 Jul 2020 04:57:01 UTC

Severity: normal

Done: Nicolas Goaziou <mail <at> nicolasgoaziou.fr>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 42238 in the body.
You can then email your comments to 42238 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#42238; Package guix-patches. (Tue, 07 Jul 2020 04:57:01 GMT) Full text and rfc822 format available.
Acknowledgement sent to elaexuotee <at> wilsonb.com:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Tue, 07 Jul 2020 04:57:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: elaexuotee <at> wilsonb.com
To: guix-patches <at> gnu.org
Subject: gnu: metamath: Update to 0.183.
Date: Tue, 07 Jul 2020 13:56:38 +0900

[Message part 1 (text/plain, inline)]
Upstream updated to 0.183 about a week ago.


[0001-gnu-metamath-Update-to-0.183.patch (text/x-patch, attachment)]
[signature.asc (application/pgp-signature, attachment)]
Information forwarded to guix-patches <at> gnu.org:
bug#42238; Package guix-patches. (Tue, 07 Jul 2020 12:05:02 GMT) Full text and rfc822 format available.

Message #8 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Nicolas Goaziou <mail <at> nicolasgoaziou.fr>
To: elaexuotee--- via Guix-patches via <guix-patches <at> gnu.org>
Cc: elaexuotee <at> wilsonb.com, 42238 <at> debbugs.gnu.org
Subject: Re: [bug#42238] gnu: metamath: Update to 0.183.
Date: Tue, 07 Jul 2020 14:04:14 +0200

Hello,

elaexuotee--- via Guix-patches via <guix-patches <at> gnu.org> writes:

> * gnu/packages/maths.scm (metamath): Update to 0.183.

Applied. Thank you.

Regards,
-- 
Nicolas Goaziou
Information forwarded to guix-patches <at> gnu.org:
bug#42238; Package guix-patches. (Tue, 07 Jul 2020 12:05:02 GMT) Full text and rfc822 format available.
Reply sent to Nicolas Goaziou <mail <at> nicolasgoaziou.fr>:
You have taken responsibility. (Tue, 07 Jul 2020 12:05:03 GMT) Full text and rfc822 format available.
Notification sent to elaexuotee <at> wilsonb.com:
bug acknowledged by developer. (Tue, 07 Jul 2020 12:05:03 GMT) Full text and rfc822 format available.

Message #16 received at 42238-done <at> debbugs.gnu.org (full text, mbox):

From: Nicolas Goaziou <mail <at> nicolasgoaziou.fr>
To: 42238-done <at> debbugs.gnu.org
Subject: Re: [bug#42238] gnu: metamath: Update to 0.183.
Date: Tue, 07 Jul 2020 14:04:36 +0200

Applied. Closing.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Wed, 05 Aug 2020 11:24:05 GMT) Full text and rfc822 format available.
This bug report was last modified 4 years and 318 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.