[bug#42238] gnu: metamath: Update to 0.183.

guix-patches

[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#42238] gnu: metamath: Update to 0.183.

From:	elaexuotee
Subject:	[bug#42238] gnu: metamath: Update to 0.183.
Date:	Tue, 07 Jul 2020 13:56:38 +0900
User-agent:	mblaze/0.7

Upstream updated to 0.183 about a week ago.

txtJWWhd5TvGA.txt
Description: Text Data

signature.asc
Description: PGP signature

[Prev in Thread]

Current Thread

[Next in Thread]

[bug#42238] gnu: metamath: Update to 0.183., elaexuotee <=
- [bug#42238] gnu: metamath: Update to 0.183., Nicolas Goaziou, 2020/07/07
- bug#42238: gnu: metamath: Update to 0.183., Nicolas Goaziou, 2020/07/07

Prev by Date: [bug#42225] [PATCH 0/5] Add 'guix git-authenticate' command
Next by Date: [bug#42123] [PATCH] linux-libre: Enable module compression.
Previous by thread: [bug#42235] gnu: emacs-racket-mode: Update to 20200706.
Next by thread: [bug#42238] gnu: metamath: Update to 0.183.
Index(es):
- Date
- Thread