There are at least two PPAs containing maxima 5.17.1, probably one of them can 
be used for Karmic:
https://launchpad.net/~iaz/+archive/ppa
https://launchpad.net/~portis25/+archive/ppa

-- 
Please merge maxima 5.17.1-1 (universe) from Debian unstable (main).
https://bugs.launchpad.net/bugs/296643
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to