Seems like the internet did work after all => the corrected file is now live at https://mentors.debian.net/package/wxmaxima I've also - upstreamed the fix - added gitattribute files to the .git repo that will prevent this from happening again - and added the fix to the release branch so if we make a service release we can drop the patch again. Thanks again, and kind regards, Gunter.
Attachment:
pEpkey.asc
Description: application/pgp-keys