aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2013-04-21 02:54:56 -0400
committerMark H Weaver <mhw@netris.org>2013-04-21 17:57:56 -0400
commit6ed80bed48208d4a6e7a8aa394689b7274bace87 (patch)
tree349bc132aa1a1cc3f37f3d1ed62bf2c3416a2622 /gnu
parent861693f3e71fed8663a3ef9c336c3f3345e1e039 (diff)
downloadguix-6ed80bed48208d4a6e7a8aa394689b7274bace87.tar.gz
guix-6ed80bed48208d4a6e7a8aa394689b7274bace87.zip
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.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/gprolog.scm9
1 files changed, 5 insertions, 4 deletions
diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm
index c362a7bc11..7f7cbe0178 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