gnu: gprolog: Update to 1.4.5.

* gnu/packages/gprolog.scm (gprolog): Update to 1.4.5.
[source]: Add an alternate source URL.

Signed-off-by: Leo Famulari <leo@famulari.name>
This commit is contained in:
fis trivial 2018-09-20 13:37:26 +00:00 committed by Leo Famulari
parent 89ee8a6edf
commit f5c10a94ef
No known key found for this signature in database
GPG key ID: 2646FA30BACA7F08

View file

@ -27,15 +27,18 @@ (define-module (gnu packages gprolog)
(define-public gprolog (define-public gprolog
(package (package
(name "gprolog") (name "gprolog")
(version "1.4.4") (version "1.4.5")
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
(uri (string-append "mirror://gnu/gprolog/gprolog-" version ;; Recent versions are not hosted on the GNU mirrors.
".tar.gz")) (uri (list (string-append "http://gprolog.org/gprolog-" version
(sha256 ".tar.gz")
(base32 (string-append "mirror://gnu/gprolog/gprolog-" version
"13miyas47bmijmadm68cbvb21n4s156gjafz7kfx9brk9djfkh0q")))) ".tar.gz")))
(sha256
(base32
"0z4cc42n3k6i35b8mr816iwsvrpxshw6d7dgz6s2h1hy0l7g1p5z"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(arguments (arguments
`(#:configure-flags `(#:configure-flags