Package: guix-patches;
Reported by: zimoun <zimon.toutoune <at> gmail.com>
Date: Wed, 10 Nov 2021 19:35:02 UTC
Severity: normal
Tags: patch
Done: Nicolas Goaziou <mail <at> nicolasgoaziou.fr>
Bug is archived. No further changes may be made.
View this message in rfc822 format
From: zimoun <zimon.toutoune <at> gmail.com> To: 51755 <at> debbugs.gnu.org Cc: Julien Lepiller <julien <at> lepiller.eu>, Nicolas Goaziou <mail <at> nicolasgoaziou.fr> Subject: [bug#51755] [PATCH 0/1] Fix ProofGeneral (emacs front-end for Coq) Date: Fri, 19 Nov 2021 13:27:13 +0100
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.