bug#46016: broken Proof-General (emacs front-end to Coq)

[zimoun]

Hi,

On Wed, 10 Nov 2021 at 20:38, zimoun <zimon.touto...@gmail.com> wrote:

> 1: <http://issues.guix.gnu.org/issue/51755>

Done with cb296dfa2e2938d18ae0ee347bed0cc94bc79cf8.

Cheers,
simon