On Sat, 13 Jun 2020, Vincent Lefevre wrote: > There are new versions upstream.
Yes, and they revert the existence of arch "x32". Last time I asked for help, nobody remotely interested in x32 answered. I am seriously considering uploading it and effectively removing x32 support from Debian. -- Henrique Holschuh