From 944029c25a80505aaa5f19928e4911360d8505de Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@gnu.org>
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