|
| From: | zimoun |
| Subject: | bug#46016: broken Proof-General (emacs front-end to Coq) |
| Date: | Wed, 10 Nov 2021 20:38:20 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi, I think this bug is fixed by patch#51755 [1]. 1: <http://issues.guix.gnu.org/issue/51755> Cheers, simon
| [Prev in Thread] | Current Thread | [Next in Thread] |