diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2020-11-09 09:54:52 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2020-11-09 09:54:52 +0200 |
commit | 57797b85337344dfc45e666f39f9bf04523a3164 (patch) | |
tree | db4473e6e58cf157bdc303337cde6d8bb63c2fcb | |
parent | 09b83d6833de48c07736dc1097971a8825e4ced5 (diff) |
gnu: eigen: Add source mirror.
* gnu/packages/algebra.scm (eigen)[source]: Add Debian source mirror.
-rw-r--r-- | gnu/packages/algebra.scm | 7 |
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")) |