GNU bug report logs - #38784
[WIP 0/1] Add emacs-company-coq.

Previous Next

Full log

View this message in rfc822 format

From: Brett Gilio <brettg <at> gnu.org>
To: 38784 <at> debbugs.gnu.org
Subject: [bug#38784] [WIP 0/1] Add emacs-company-coq.
Date: Sat, 28 Dec 2019 16:41:33 -0600

[0000-cover-letter.patch (text/x-patch, inline)]

From 944029c25a80505aaa5f19928e4911360d8505de Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg <at> gnu.org>
Date: Sat, 28 Dec 2019 16:39:14 -0600
Subject: [WIP 0/1] Add emacs-company-coq.
To: guix-patches <at> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.