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

From: zimoun <[email-masked]>
Date: Tue, 12 Apr 2022 12:30:32 +0200

Hi,

On Mon, 06 Jan 2020 at 17:57, Brett Gilio <[email-masked]> 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 <[email-masked]>
AuthorDate: Wed Nov 25 16:40:29 2020 -0600
Commit:     Brett Gilio <[email-masked]>
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