|
| From: | Mathieu Othacehe |
| Subject: | bug#43247: [PATCH] gnu: coq-equations: Update to patch release |
| Date: | Mon, 07 Sep 2020 07:54:29 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
> * gnu/packages/coq.scm (coq-equations): Update to patch release Pushed, thanks! Mathieu
| [Prev in Thread] | Current Thread | [Next in Thread] |