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.