On 11/21/22 17:56, Peter Wienemann wrote:
Any hints pointing towards the underlying issue are appreciated.
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1024520 Retrying the build by giving back the package fixes the issue. Kind Regards, Bas -- GPG Key ID: 4096R/6750F10AE88D4AF1 Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1