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

[GNU bug Tracking System]

Your message dated Tue, 12 Apr 2022 12:45:34 +0200
with message-id <861qy237ht.fsf_-_@gmail.com>
and subject line Re: bug#38784: [WIP 0/1] Add emacs-company-coq.
has caused the debbugs.gnu.org bug report #38784,
regarding [WIP 0/1] Add emacs-company-coq.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
38784: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38784
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [WIP 0/1] Add emacs-company-coq.
>
>
>
>
> Date: 
>
> Sat, 28 Dec 2019 16:41:33 -0600
>
>
>
>
> >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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: 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
>
>
> --- End Message ---