Le mardi 20 juin 2023 à 22:38 +0200, Adrien Nader a écrit : > > > The patch seems to fix the issue. I say "seem" because the build > compiled the file that was failing to build but the build is not done > yet: emulated armhf isn't fast. :) > > But since I reprocued the build failure before, I am fairly confident > this build will succeed.
I took the commit and added it to the Debian packaging ; I now have a 20230420-4 almost ready for upload. I'm waiting for two feedbacks before I do so : 1. yours so I trust it fixes the 32-bit issue ; 2. the sbuild I started on my box to check the patch on more usual architectures. Thanks for your help! J