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 /etc | |
| 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 'etc')
0 files changed, 0 insertions, 0 deletions