reopen 1123460 reopen 1123461 reopen 1123455 thanks Hi. None of the above bugs is fixed.
I've put updated build logs (created a few minutes ago) in the same URL as before: https://people.debian.org/~sanvila/build-logs/202512/ [ Are you building with DEB_BUILD_OPTIONS=nocheck by accident ? ] Thanks.
