[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#40299] [PATCH] gnu: Add emacs-company-coq.
|
From: |
John Soo |
|
Subject: |
[bug#40299] [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
- [bug#40299] [PATCH] gnu: Add emacs-company-coq.,
John Soo <=