On Tue, Dec 17, 2019 at 08:57:05AM +0100, Roel Wagenaar via Dng wrote:
> http://packagemaster.deb.devuan.org/merged/pool/DEBIAN/main/libm/libmspack/libmspack0_0.5-1+deb9u3_arm64.deb
> is mislukt 404 Not Found

I am sorry, I can't reporduce this at all.

What does

HEAD -S http://packagemaster.deb.devuan.org/merged/pool/DEBIAN/main/libm/libmspack/libmspack0_0.5-1+deb9u3_arm64.deb

Produce for you?

Or you could use "curl -Lv -o /dev/null" if you don't have HEAD installed.

I get.

HEAD http://packagemaster.deb.devuan.org/merged/pool/DEBIAN/main/libm/libmspack/libmspack0_0.5-1+deb9u3_arm64.deb
301 Moved Permanently
HEAD http://deb.devuan.org//merged/pool/DEBIAN/main/libm/libmspack/libmspack0_0.5-1+deb9u3_arm64.deb
302 Moved Temporarily
HEAD http://mirrors.dotsrc.org/debian/pool/main/libm/libmspack/libmspack0_0.5-1+deb9u3_arm64.deb
200 OK
Connection: close
Date: Tue, 17 Dec 2019 13:26:14 GMT
Accept-Ranges: bytes
ETag: "5bdb6fab-9d18"
Server: nginx/1.14.0 (Ubuntu)
Content-Length: 40216
Content-Type: application/octet-stream
Last-Modified: Thu, 01 Nov 2018 21:27:07 GMT
Client-Date: Tue, 17 Dec 2019 13:26:14 GMT
Client-Peer: 130.225.254.116:80
Client-Response-Num: 1

Which looks OK to me.

Mark