Ubuntu
maxima package

  1. Bug #417433
  2. Comment #4

Comment 4 for bug 417433

Revision history for this message
f0ma (f0ma) wrote :

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