gnu: eigen: Add source mirror.

* gnu/packages/algebra.scm (eigen)[source]: Add Debian source mirror.
This commit is contained in:
Efraim Flashner 2020-11-09 09:54:52 +02:00
parent 09b83d6833
commit 57797b8533
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -1008,8 +1008,11 @@ (define-public eigen
(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"))