[PATCH] gnu: gprolog: Update to 1.4.3 and download from GNU mirrors

[PATCH] gnu: gprolog: Update to 1.4.3 and download from GNU mirrors

[Mark H Weaver]

[-- Attachment #1: Type: text/plain, Size: 555 bytes --]

I was unable to build gprolog, because it was no longer available at the
specified URL <http://www.gprolog.org/gprolog-1.4.2.tar.gz>.  Apparently
only the newest version is available there.  Older versions are moved to
a different URL <http://gprolog.univ-paris1.fr/old_versions/>, which
does *not* have the latest version.

Since gprolog.org does not seem to provide stable URLs for their newest
tarballs, I suggest that we use the GNU mirrors instead.  The attached
patch does this, and also upgrades gprolog to 1.4.3.

What do you think?

      Mark



[-- Attachment #2: [PATCH] gnu: gprolog: Update to 1.4.3 and download from GNU mirrors --]
[-- Type: text/x-diff, Size: 1505 bytes --]

From 60b284848f722f3faa3e1a5e876b712e8b09960c Mon Sep 17 00:00:00 2001
From: Mark H Weaver <mhw@netris.org>
Date: Sun, 21 Apr 2013 02:54:56 -0400
Subject: [PATCH] gnu: gprolog: Update to 1.4.3 and download from GNU mirrors

* gnu/packages/gprolog.scm (gprolog): Update to 1.4.3.
  Download from GNU mirrors.
---
 gnu/packages/gprolog.scm |    9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm
index c362a7b..7f7cbe0 100644
--- a/gnu/packages/gprolog.scm
+++ b/gnu/packages/gprolog.scm
@@ -1,5 +1,6 @@
 ;;; GNU Guix --- Functional package management for GNU
 ;;; Copyright © 2013 Nikita Karetnikov <nikita@karetnikov.org>
+;;; Copyright © 2013 Mark H Weaver <mhw@netris.org>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -25,15 +26,15 @@
 (define-public gprolog
   (package
     (name "gprolog")
-    (version "1.4.2")
+    (version "1.4.3")
     (source
      (origin
       (method url-fetch)
-      (uri (string-append "http://www.gprolog.org/gprolog-"
-                          version ".tar.gz"))
+      (uri (string-append "mirror://gnu/gprolog/gprolog-" version
+                          ".tar.gz"))
       (sha256
        (base32
-        "0y25c2gwz41i6g28qyfjklrmanzgk0c8cr4jn2s7s8qgd9dnm1fm"))))
+        "16yl6q9ydx9d8lphg9xkk53l1m0fq0kpvrhry8njsxhhncazm4j2"))))
     (build-system gnu-build-system)
     (arguments
      `(#:phases (alist-cons-before
-- 
1.7.10.4

Re: [PATCH] gnu: gprolog: Update to 1.4.3 and download from GNU mirrors

[Ludovic Courtès]

Mark H Weaver <mhw@netris.org> skribis:

> Since gprolog.org does not seem to provide stable URLs for their newest
> tarballs, I suggest that we use the GNU mirrors instead.  The attached
> patch does this, and also upgrades gprolog to 1.4.3.

Make sense, please push.  In general it’s better to use mirror:// when
possible.

Ludo’.