Ubuntu
maxima package

  1. Bug #481121
  2. Comment #7

Comment 7 for bug 481121

Revision history for this message
Jorrit Kronjee (jorrit-wafel) wrote :

@michae7: Could you try my workaround described here: https://bugs.launchpad.net/ubuntu/+source/maxima/+bug/303587/comments/14 and see if that works anyway?

If so, we are talking about the same bug.