[Top][All Lists]

[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

Attachment: 0001-gnu-Add-emacs-company-coq.patch
Description: add emacs-company-coq

reply via email to

[Prev in Thread] Current Thread [Next in Thread]