On 05.06.2017 08:43, Daniel Baumann wrote: > I use newest maxima backported to stretch. >
But the newest wxmaxima backport doesn't contain the lines that need to be patched. Also there is no stretch backports repository, currently, as stretch is still the "testing" revision of debian and backports are made from stretch, not to stretch. ...which means I have to renew my question: which debian version and -flavor are you using and which wxMaxima version? And where did you get that version from? Currently stretch is in a freeze => don't know if it is currently possible to upload something to testing - which then can be backported to "backports". Thanks a lot, and Kind regards, Gunter.