diff options
author | Ludovic Courtès <ludo@gnu.org> | 2021-10-07 12:16:32 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-10-07 12:16:32 +0200 |
commit | e85ccc8b50f8ff76e4324be2cd11e4194470a6df (patch) | |
tree | 89d2b56cee182454d1e056dd3ed61ab0d5228f5f /gnu/packages | |
parent | 4ddcd0e206250c7e5968367d7f3628ec5b31e1c5 (diff) |
gnu: fet: Add alternative URL for older source tarballs.
* gnu/packages/education.scm (fet)[source]: Add "old/" URL.
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/education.scm | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm index 634420a905..4f4de1a834 100644 --- a/gnu/packages/education.scm +++ b/gnu/packages/education.scm @@ -657,8 +657,10 @@ Portuguese, Spanish and Italian.") (source (origin (method url-fetch) - (uri (string-append "https://www.lalescu.ro/liviu/fet/download/" - "fet-" version ".tar.bz2")) + (uri (let ((directory "https://www.lalescu.ro/liviu/fet/download/") + (base (string-append "fet-" version ".tar.bz2"))) + (list (string-append directory base) + (string-append directory "old/" base)))) (sha256 (base32 "16m20vbhv8i7saxqb731bhds1f86d6x1f935j3ivg357805fqzll")))) (build-system gnu-build-system) |