|
From: | Nicolas Goaziou |
Subject: | [bug#42238] gnu: metamath: Update to 0.183. |
Date: | Tue, 07 Jul 2020 14:04:14 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hello, elaexuotee--- via Guix-patches via <guix-patches@gnu.org> writes: > * gnu/packages/maths.scm (metamath): Update to 0.183. Applied. Thank you. Regards, -- Nicolas Goaziou
[Prev in Thread] | Current Thread | [Next in Thread] |