[bug#38784,WIP,0/1] Add emacs-company-coq.
diff mbox

Message ID 87mubchy3m.fsf@gnu.org
State New
Headers show

Commit Message

Brett Gilio Dec. 28, 2019, 10:41 p.m. UTC

diff mbox

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(+)