Debian package for Maxima and wxmaxima?



Andrej and Mario, thanks for the reply. Currently I have installed 
Maxima 5.14 from source and wxmaxima 0.7.1 from apt. I will try these 
options in the upcoming 8.04 and see what happens :-)