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?



Reply via email to