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

[Mark H Weaver]

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


>From 60b284848f722f3faa3e1a5e876b712e8b09960c Mon Sep 17 00:00:00 2001
From: Mark H Weaver <address@hidden>
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 <address@hidden>
+;;; Copyright © 2013 Mark H Weaver <address@hidden>
 ;;;
 ;;; 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