diff options
| -rw-r--r-- | gnu/packages/maths.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 9869fa9283..83a04f7301 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -5971,7 +5971,8 @@ theories} (SMT) solver. It provides a C/C++ API, as well as Python bindings.") (version "2018.11.001") (source (origin (method url-fetch) - (uri (string-append "http://elpa.mpcdf.mpg.de/html/Releases/" + (uri (string-append "https://elpa.mpcdf.mpg.de/software/" + "tarball-archive/Releases/" version "/elpa-" version ".tar.gz")) (sha256 (base32 |