--- Begin Message ---
Subject: |
[PATCH] gnu: Add emacs-company-coq. |
Date: |
Sat, 28 Mar 2020 18:04:12 -0700 |
Hi Guix,
Company-coq is indispensable when working in coq for me.
Thanks for your patience with all these patches as I try to only use
guix for emacs package management.
- John
0001-gnu-Add-emacs-company-coq.patch
Description: add emacs-company-coq
--- End Message ---
--- Begin Message ---
Subject: |
Re: [bug#40299] [PATCH] gnu: Add emacs-company-coq. |
Date: |
Mon, 30 Mar 2020 14:38:44 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hello,
John Soo <address@hidden> writes:
> Company-coq is indispensable when working in coq for me.
I slightly expounded the description and applied your patch as
f931d46ce3e342f53dee926d3cff70b081f58e5f.
Thank you!
Regards,
--
Nicolas Goaziou
--- End Message ---