Ubuntu
wxmaxima package

  1. Bug #1226035
  2. Comment #9

Comment 9 for bug 1226035

Revision history for this message
Gregor Riepl (onitake) wrote :

You don't even have to uninstall the broken wxmaxima package first.
Just build from source:

apt-get source wxmaxima
cd wxmaxima-13.04.2
dpkg-buildpackage
cd ..
sudo dpkg -i wxmaxima_13.04.2-1_*.deb

dpkg-buildpackage might complain about some missing -dev packages, install those and run dpkg-buildpackage again.

There don't seem to be any changes required; can someone bump the version, rebuild the package correctly and promote it to the repositories?