Federico Beffa <be...@ieee.org> writes: > On Tue, Feb 21, 2017 at 5:01 AM, Leo Famulari <l...@famulari.name> wrote: >> Did you try building 5.38.1 with Guix? That could help us know if the >> problem is in maxima or in our packaging. > > No, I didn't .
I referred to the maxima version, but the problem is really with wxMaxima and not with maxima itself. So, the current Guix wxMaxima version is 16.12.2 while Debian's version is 16.04.2. I tried the latter version in Guix and it doesn't show the problem. Should we downgrade to 16.04.02?