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.

Full log

View this message in rfc822 format

From: Nicolas Goaziou <mail <at> nicolasgoaziou.fr>
To: 42238 <at> debbugs.gnu.org
Cc: elaexuotee <at> wilsonb.com
Subject: [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
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.