bug#38603: closed ([WIP Mercury 0/2] Add Mercury.)

[GNU bug Tracking System]

Your message dated Tue, 12 Apr 2022 12:30:32 +0200
with message-id <86bkx6386v.fsf_-_@gmail.com>
and subject line Re: bug#38603: [WIP Mercury 0/2] Add Mercury.
has caused the debbugs.gnu.org bug report #38603,
regarding [WIP Mercury 0/2] Add Mercury.
to be marked as done.

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


-- 
38603: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38603
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [WIP Mercury 0/2] Add Mercury.
>
>
>
>
> Date: 
>
> Fri, 13 Dec 2019 21:29:33 -0600
>
>
>
>
> >From a6abc5a2d05cba65c652f5834e768ee8cecde5f8 Mon Sep 17 00:00:00 2001
> From: Brett Gilio <brettg@posteo.net>
> Date: Fri, 13 Dec 2019 21:27:49 -0600
> Subject: [WIP Mercury 0/2] Add Mercury.
>
> This is an incomplete patch series for adding Mercury to GNU Guix.
>
> I wanted to put it out there now so other people can work on it and I can
> keep track of the progress I make on it.
>
> Please send revisions by rerolling n+1.
>
> Brett Gilio (2):
>   gnu: Register mercury module.
>   gnu: Add mercury.
>
>  gnu/local.mk             |   1 +
>  gnu/packages/mercury.scm | 142 +++++++++++++++++++++++++++++++++++++++
>  2 files changed, 143 insertions(+)
>  create mode 100644 gnu/packages/mercury.scm
>
> -- 
> 2.24.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#38603: [WIP Mercury 0/2] Add Mercury.
>
>
>
>
> Date: 
>
> Tue, 12 Apr 2022 12:30:32 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> Hi,
>
> On Mon, 06 Jan 2020 at 17:57, Brett Gilio <brettg@gnu.org> wrote:
>
> [...]
>
> > +(define-public mercury
> > +  (package
> > +    (name "mercury")
> > +    (version "14.01.1")
> > +    (source (origin
> > +              (method url-fetch)
> > +              (uri (string-append
> > +                    "https://dl.mercurylang.org/release/mercury-srcdist-";
> > +                    version ".tar.gz"))
>
> --8<---------------cut here---------------start------------->8---
> 8b928a3931cafddb291152bc259b634ab3ab441b
> Author:     Brett Gilio <brettg@gnu.org>
> AuthorDate: Wed Nov 25 16:40:29 2020 -0600
> Commit:     Brett Gilio <brettg@gnu.org>
> CommitDate: Wed Nov 25 16:40:29 2020 -0600
>
> gnu: mercury: Update to 20.06.1.
>
> * gnu/packages/mercury.scm (mercury): Update to 20.06.1.
> --8<---------------cut here---------------end--------------->8---
>
>
> Closing!
>
>
> Cheers,
> simon
>
>
> --- End Message ---