Subject: Re: [bug#32783] [PATCH] gnu: gprolog: Update to 1.4.5.
From: Leo Famulari <[email-masked]>
To: fis trivial <[email-masked]>
Cc: [email-masked]
Date: Thu, 20 Sep 2018 15:30:05 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

On Thu, Sep 20, 2018 at 01:37:26PM +0000, fis trivial wrote:
> * gnu/packages/gprolog.scm (gprolog): Update to 1.4.5.
> [source]: No longer use mirror due to failed download.

Thanks!

> +       (method url-fetch)
> +       (uri (string-append
> +             "http://gprolog.org/gprolog-" version ".tar.gz"))
> +       (sha256
> +        (base32
> +         "0z4cc42n3k6i35b8mr816iwsvrpxshw6d7dgz6s2h1hy0l7g1p5z"))))

I put both the old and new URLs in a list and pushed as
f5c10a94eff314ed985089719e817cd036a746f1.