From ce13b258ca401b414cfde96d4c37c356436c3e1c Mon Sep 17 00:00:00 2001 From: Emil Engler Date: Tue, 16 Feb 2021 19:11:40 +0100 Subject: [PATCH] Ports: Use new curl domain curl switched it's domain to curl.se last year: https://daniel.haxx.se/blog/2020/11/04/the-journey-to-a-curl-domain/ I think we should follow this change and adapt the new domain name. --- Ports/curl/package.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Ports/curl/package.sh b/Ports/curl/package.sh index a9b34564cf6..4f7a654e4ba 100755 --- a/Ports/curl/package.sh +++ b/Ports/curl/package.sh @@ -3,8 +3,8 @@ port=curl version=7.65.3 useconfigure=true configopts="--disable-threaded-resolver" -files="https://curl.haxx.se/download/curl-${version}.tar.bz2 curl-${version}.tar.bz2 -https://curl.haxx.se/download/curl-${version}.tar.bz2.asc curl-${version}.tar.bz2.asc" +files="https://curl.se/download/curl-${version}.tar.bz2 curl-${version}.tar.bz2 +https://curl.se/download/curl-${version}.tar.bz2.asc curl-${version}.tar.bz2.asc" depends=zlib auth_type="sig"