Change 3rd party package url

Author: simonlegrand

.github/workflows/releases.yml

@@ -143,7 +143,7 @@ jobs:
       - name: Create and push multi-platform manifest
         working-directory: ${{ runner.temp }}/digests
         env:
-          DOCKER_ARCH: ${{ steps.set_os_versions.outputs.docker_arch }}
+          DOCKER_ARCH: ${{ needs.set_versions.outputs.docker_arch }}
           DOCKER_METADATA_OUTPUT_JSON: ${{ steps.meta.outputs.json }}
         run: |
           set -euxo pipefail
@@ -171,7 +171,7 @@ jobs:
 
       - name: Verify multi-platform image
         env:
-          DOCKER_ARCH: ${{ steps.set_os_versions.outputs.docker_arch }}
+          DOCKER_ARCH: ${{ needs.set_versions.outputs.docker_arch }}
         run: |
           set -euxo pipefail
           docker buildx imagetools inspect "${REGISTRY_IMAGE}:${GITHUB_REF_NAME}"

3rdparty/getall

@@ -277,7 +277,7 @@ sub downloadone{
 	my $md5check=md5_hex(`cat pkg/$pkg`);
 	if( ( $md5 ne "none") && ($md5check ne $md5)){
 		print "Download failed (MD5 check $md5check) from $url of $pkg\n";
-                my $url="https://www.ljll.fr/hecht/pkg/$pkg";
+                my $url="https://joliv.et/freefem/pkg/$pkg";
 		my $cmd="../bin/build/download $url pkg/$pkg $opts";
 		print "Try other site: $url\n";
 		system $cmd;