FWIW, the https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1125345 bug report, merged with the present bug report, contains a simple fix (replacing "aarch" with "x86_64" in the path to package files in the postinst script), which works. What are the blocks to implement this ? Cordially,