[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38784: [WIP 0/1] Add emacs-company-coq.
From: |
zimoun |
Subject: |
bug#38784: [WIP 0/1] Add emacs-company-coq. |
Date: |
Tue, 12 Apr 2022 12:45:34 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi,
Thanks for your submission.
On Sat, 28 Dec 2019 at 16:43, Brett Gilio <brettg@gnu.org> wrote:
> * gnu/packages/emacs-xyz.scm (emacs-company-coq): New variable.
> ---
> gnu/packages/emacs-xyz.scm | 75 ++++++++++++++++++++++++++++++++++++++
> 1 file changed, 75 insertions(+)
[...]
> +(define-public emacs-company-coq
> + (let ((commit "6e8bc2e367e8184079b7f4b4ab359b64ab884d7c")
> + (revision "1")
> + (version "1.0.1"))
> + (package
> + (name "emacs-company-coq")
[...]
> + (license license:gpl3+))))
--8<---------------cut here---------------start------------->8---
f931d46ce3e342f53dee926d3cff70b081f58e5f
Author: John Soo <jsoo1@asu.edu>
AuthorDate: Mon Mar 30 14:36:38 2020 +0200
Commit: Nicolas Goaziou <mail@nicolasgoaziou.fr>
CommitDate: Mon Mar 30 14:37:41 2020 +0200
gnu: Add emacs-company-coq.
* gnu/packages/emacs-xyz.scm (emacs-company-coq): New variable.
1 file changed, 37 insertions(+)
gnu/packages/emacs-xyz.scm | 37 +++++++++++++++++++++++++++++++++++++
--8<---------------cut here---------------end--------------->8---
Therefore, closing!
Cheers,
simon
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#38784: [WIP 0/1] Add emacs-company-coq.,
zimoun <=