gnu: xmlto: Fix source URL.

Works around <https://bugs.gnu.org/25989>.

* gnu/packages/xml.scm (xmlto)[source]: Update URL.
[file-name]: New field.
This commit is contained in:
Leo Famulari 2017-03-05 20:17:50 -05:00
parent 33c93ea33e
commit 7bc19c9205
No known key found for this signature in database
GPG key ID: 2646FA30BACA7F08

View file

@ -849,9 +849,11 @@ (define-public xmlto
(source
(origin
(method url-fetch)
(uri (string-append
"https://fedorahosted.org/releases/x/m/xmlto/xmlto-"
version ".tar.bz2"))
;; The old source on fedorahosted.org is offline permanently:
;; <https://bugs.gnu.org/25989>
(uri (string-append "mirror://debian/pool/main/x/xmlto/"
"xmlto_" version ".orig.tar.bz2"))
(file-name (string-append name "-" version ".tar.bz2"))
(sha256
(base32
"0xhj8b2pwp4vhl9y16v3dpxpsakkflfamr191mprzsspg4xdyc0i"))))