Subject: [bug#38784] [WIP 0/1] Add emacs-company-coq.

From: Brett Gilio <[email-masked]>
Date: Sat, 28 Dec 2019 16:41:33 -0600

>From 944029c25a80505aaa5f19928e4911360d8505de Mon Sep 17 00:00:00 2001
From: Brett Gilio <[email-masked]>
Date: Sat, 28 Dec 2019 16:39:14 -0600
Subject: [WIP 0/1] Add emacs-company-coq.
To: [email-masked]

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