diff options
| author | Pierce Andjelkovic <pierceandjelkovic@gmail.com> | 2022-03-10 17:38:26 +1100 |
|---|---|---|
| committer | Linus Groh <mail@linusgroh.de> | 2022-03-15 14:03:07 +0000 |
| commit | 8f531a62eb8e90868acdd7d73291aa247f403ed6 (patch) | |
| tree | cde292b8b217d8f6b2043780c07fd1669cffdd81 /Ports/gsl | |
| parent | e3eb68dd58056163768d44d5a634bf28b4e6033d (diff) | |
| download | serenity-8f531a62eb8e90868acdd7d73291aa247f403ed6.zip | |
Ports: Replace gsl download mirror with functional download url
Diffstat (limited to 'Ports/gsl')
| -rwxr-xr-x | Ports/gsl/package.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Ports/gsl/package.sh b/Ports/gsl/package.sh index 26053b44c8..acc8969c3b 100755 --- a/Ports/gsl/package.sh +++ b/Ports/gsl/package.sh @@ -3,8 +3,8 @@ port="gsl" version="2.7" useconfigure="true" -files="https://mirror.freedif.org/GNU/gsl/gsl-${version}.tar.gz gsl-${version}.tar.gz -https://mirror.freedif.org/GNU/gsl/gsl-${version}.tar.gz.sig gsl-${version}.tar.gz.sig +files="https://ftp.gnu.org/gnu/gsl/gsl-${version}.tar.gz gsl-${version}.tar.gz +https://ftp.gnu.org/gnu/gsl/gsl-${version}.tar.gz.sig gsl-${version}.tar.gz.sig https://ftpmirror.gnu.org/gnu/gnu-keyring.gpg gnu-keyring.gpg" auth_type=sig auth_opts=("--keyring" "./gnu-keyring.gpg" "gsl-${version}.tar.gz.sig") |