From 944029c25a80505aaa5f19928e4911360d8505de Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Sat, 28 Dec 2019 16:39:14 -0600 Subject: [WIP 0/1] Add emacs-company-coq. To: guix-patches@gnu.org This is a WIP patch for adding emacs-company-coq. There is still more that needs to be done before this package is ready to be pushed to master. Such as getting the Coq-based test suite to run, ensuring that all of the cases usually covered by CASK are being covered by Guix, and getting the REFMAN to install properly. Brett Gilio (1): gnu: Add emacs-company-coq. gnu/packages/emacs-xyz.scm | 75 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 75 insertions(+) -- 2.24.1