https://launchpad.net/ubuntu/+source/wxmaxima/13.04.2-4/+build/5959297/+files/wxmaxima_13.04.2-4_amd64.deb worked like charm. Thank you for the link :) It would be great if the maintainers would update wxmaxima to 13.04.2-4, I totally agree.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1308154 Title: wxmaxima 13.04.2-2 fails to get some keyboard inputs To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/wxmaxima/+bug/1308154/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
