diff options
| author | Axel Huebl <axel.huebl@plasma.ninja> | 2017-05-31 13:37:44 +0200 |
|---|---|---|
| committer | Massimiliano Culpo <massimiliano.culpo@googlemail.com> | 2017-05-31 13:37:44 +0200 |
| commit | c124fdb7a0c800d0d72e659e1053501f3e2247a4 (patch) | |
| tree | 54ed5ae6f33958ad14fe46bf69e037b6b5b12f91 /var | |
| parent | c15f3bc6ff4235a02666be65b4afd4577b7ed55c (diff) | |
| download | spack-c124fdb7a0c800d0d72e659e1053501f3e2247a4.tar.gz spack-c124fdb7a0c800d0d72e659e1053501f3e2247a4.tar.bz2 spack-c124fdb7a0c800d0d72e659e1053501f3e2247a4.tar.xz spack-c124fdb7a0c800d0d72e659e1053501f3e2247a4.zip | |
Fix Fetch MariaDB (#4394)
The two given versions of mariadb are not fetchable under the given
URL, probably because older versions are purged and only kept in
an archive.
Add two working, latest revisions of each release line.
Diffstat (limited to 'var')
| -rw-r--r-- | var/spack/repos/builtin/packages/mariadb/package.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/var/spack/repos/builtin/packages/mariadb/package.py b/var/spack/repos/builtin/packages/mariadb/package.py index d9df200d02..6313d10052 100644 --- a/var/spack/repos/builtin/packages/mariadb/package.py +++ b/var/spack/repos/builtin/packages/mariadb/package.py @@ -33,8 +33,11 @@ class Mariadb(Package): tools make it very versatile for a wide variety of use cases.""" homepage = "https://mariadb.org/about/" - url = "https://downloads.mariadb.org/f/mariadb-10.1.14/source/mariadb-10.1.14.tar.gz" + url = "https://downloads.mariadb.org/f/mariadb-10.1.23/source/mariadb-10.1.23.tar.gz" + version('10.1.23', '1a7392cc05c7c249acd4495022719ca8') + version('5.5.56', '8bc7772fea3e11b0bc1a09d2278e2e32') + # old versions, do not fetch under given url anymore version('10.1.14', '294925531e0fd2f0461e3894496a5adc') version('5.5.49', '67b5a499a5f158b2a586e6e3bfb4f304') |