[debbugs-tracker] bug#32783: closed ([PATCH] gnu: gprolog: Update to 1.4.5.)

[GNU bug Tracking System]

Your message dated Thu, 20 Sep 2018 15:30:05 -0400
with message-id <address@hidden>
and subject line Re: [bug#32783] [PATCH] gnu: gprolog: Update to 1.4.5.
has caused the debbugs.gnu.org bug report #32783,
regarding [PATCH] gnu: gprolog: Update to 1.4.5.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
32783: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=32783
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: gprolog: Update to 1.4.5.
>
>
>
>
> Date: 
>
> Thu, 20 Sep 2018 13:37:26 +0000
>
>
>
>
> * gnu/packages/gprolog.scm (gprolog): Update to 1.4.5.
> [source]: No longer use mirror due to failed download.
> ---
>  gnu/packages/gprolog.scm | 14 +++++++-------
>  1 file changed, 7 insertions(+), 7 deletions(-)
>
> diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm
> index b27b080ca..bada7be15 100644
> --- a/gnu/packages/gprolog.scm
> +++ b/gnu/packages/gprolog.scm
> @@ -27,15 +27,15 @@
>  (define-public gprolog
>    (package
>      (name "gprolog")
> -    (version "1.4.4")
> +    (version "1.4.5")
>      (source
>       (origin
> -      (method url-fetch)
> -      (uri (string-append "mirror://gnu/gprolog/gprolog-" version
> -                          ".tar.gz"))
> -      (sha256
> -       (base32
> -        "13miyas47bmijmadm68cbvb21n4s156gjafz7kfx9brk9djfkh0q"))))
> +       (method url-fetch)
> +       (uri (string-append
> +             "http://gprolog.org/gprolog-"; version ".tar.gz"))
> +       (sha256
> +        (base32
> +         "0z4cc42n3k6i35b8mr816iwsvrpxshw6d7dgz6s2h1hy0l7g1p5z"))))
>      (build-system gnu-build-system)
>      (arguments
>       `(#:configure-flags
> --
> 2.19.0
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#32783] [PATCH] gnu: gprolog: Update to 1.4.5. Date: Thu, 20 Sep 2018 15:30:05 -0400 User-agent: Mutt/1.10.1 (2018-07-13)

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.

signature.asc
Description: PGP signature

--- End Message ---