summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2020-11-09 09:54:52 +0200
committerEfraim Flashner <efraim@flashner.co.il>2020-11-09 09:54:52 +0200
commit57797b85337344dfc45e666f39f9bf04523a3164 (patch)
treedb4473e6e58cf157bdc303337cde6d8bb63c2fcb
parent09b83d6833de48c07736dc1097971a8825e4ced5 (diff)
gnu: eigen: Add source mirror.
* gnu/packages/algebra.scm (eigen)[source]: Add Debian source mirror.
-rw-r--r--gnu/packages/algebra.scm7
1 files changed, 5 insertions, 2 deletions
diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm
index 735bf8aea3..56d1d32ec7 100644
--- a/gnu/packages/algebra.scm
+++ b/gnu/packages/algebra.scm
@@ -1008,8 +1008,11 @@ Optional thin wrappers allow usage of the library from other languages.")
(version "3.3.7")
(source (origin
(method url-fetch)
- (uri (string-append "https://bitbucket.org/eigen/eigen/get/"
- version ".tar.bz2"))
+ (uri (list
+ (string-append "https://bitbucket.org/eigen/eigen/get/"
+ version ".tar.bz2")
+ (string-append "mirror://debian/pool/main/e/eigen3/eigen3_"
+ version ".orig.tar.bz2")))
(sha256
(base32
"1km3fyfzyqfdvmnl79drps3fjwnz3zbh0c7l34mfbqyvvs8cy4wz"))