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

[zimoun]

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