as a temporary solution can install Debian maxima 5.17.1-1 package:
wget http://ftp.egr.msu.edu/debian/pool/main/m/maxima/maxima-share_5.17.1-1_all.deb wget http://ftp.mx.debian.org/debian/pool/main/m/maxima/maxima-doc_5.17.1-1_all.deb wget http://mirrors.kernel.org/debian/pool/main/m/maxima/maxima_5.17.1-1_i386.deb sudo aptitude remove maxima maxima-doc maxima-share sudo dpkg -i maxima_5.17.1-1_i386.deb maxima-doc_5.17.1-1_all.deb maxima-share_5.17.1-1_all.deb sudo aptitude hold maxima maxima-doc maxima-share sudo aptitude install wxmaxima
as a temporary solution can install Debian maxima 5.17.1-1 package:
wget http:// ftp.egr. msu.edu/ debian/ pool/main/ m/maxima/ maxima- share_5. 17.1-1_ all.deb ftp.mx. debian. org/debian/ pool/main/ m/maxima/ maxima- doc_5.17. 1-1_all. deb mirrors. kernel. org/debian/ pool/main/ m/maxima/ maxima_ 5.17.1- 1_i386. deb 5.17.1- 1_i386. deb maxima- doc_5.17. 1-1_all. deb maxima- share_5. 17.1-1_ all.deb
wget http://
wget http://
sudo aptitude remove maxima maxima-doc maxima-share
sudo dpkg -i maxima_
sudo aptitude hold maxima maxima-doc maxima-share
sudo aptitude install wxmaxima