diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-07-23 23:28:33 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-07-23 23:29:34 +0200 |
commit | c3c003be69319667b34b030fa52974e25aef0c9b (patch) | |
tree | 26038f897654b6b88dc791469b6e58771a3765e9 /gnu/packages | |
parent | 277f58040b2d4613795411f5b84f7e00b623135f (diff) |
gnu: java-xmlpull2: Use mirrored source and archived home page.
* gnu/packages/xml.scm (java-xmlpull2)[source]: Download from a Gentoo
distfiles mirror.
[home-page]: Point to an archive.org snapshot.
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/xml.scm | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gnu/packages/xml.scm b/gnu/packages/xml.scm index e2d5ca8176..ed443413d0 100644 --- a/gnu/packages/xml.scm +++ b/gnu/packages/xml.scm @@ -2070,8 +2070,9 @@ advantage of JIT JVMs.") (version "2.1.10") (source (origin (method url-fetch) - (uri (string-append "http://www.extreme.indiana.edu/xgws/xsoap/" - "PullParser/PullParser" version ".tgz")) + ;; Unfortunately, archive.org does not have a copy of this file. + (uri (string-append "https://ftp.fau.de/gentoo/distfiles/" + "PullParser" version ".tgz")) (sha256 (base32 "1kw9nhyqb7bzhn2zjbwlpi5vp5rzj89amzi3hadw2acyh2dmd0md")) @@ -2087,7 +2088,8 @@ advantage of JIT JVMs.") #:phases (modify-phases %standard-phases (replace 'install (install-jars "build/lib"))))) - (home-page "http://www.extreme.indiana.edu/xgws/xsoap/xpp/") + (home-page (string-append "https://web.archive.org/web/20210225153105/" + "https://www.extreme.indiana.edu/")) (synopsis "Streaming pull XML parser") (description "Xml Pull Parser (in short XPP) is a streaming pull XML parser and should be used when there is a need to process quickly and |