Comment 54 for bug 43150

I have both dapper-updates and dapper-proposed in my repositories. I simply did an apt-get update && apt-get upgrade && apt-get dist-upgrade. I am still getting the same "Not connected to maxima!" error on wxmaxima. (xmaxima does not connect to maxima either) Below is my apt-cache policy for wxmaxima, maxima and gcl. Should I still have the gcl from proposed installed?

root@jeff-laptop:~# apt-cache policy wxmaxima
wxmaxima:
  Installed: 0.6.4-1ubuntu1
  Candidate: 0.6.4-1ubuntu1
  Version table:
 *** 0.6.4-1ubuntu1 0
        500 http://us.archive.ubuntu.com dapper/universe Packages
        100 /var/lib/dpkg/status
root@jeff-laptop:~# apt-cache policy maxima
maxima:
  Installed: 5.9.2-2ubuntu2
  Candidate: 5.9.2-2ubuntu2
  Version table:
 *** 5.9.2-2ubuntu2 0
        500 http://us.archive.ubuntu.com dapper-proposed/universe Packages
        100 /var/lib/dpkg/status
     5.9.2-2ubuntu1 0
        500 http://us.archive.ubuntu.com dapper/universe Packages
root@jeff-laptop:~# apt-cache policy gcl
gcl:
  Installed: 2.6.7-14ubuntu2
  Candidate: 2.6.7-14ubuntu2
  Version table:
 *** 2.6.7-14ubuntu2 0
        500 http://us.archive.ubuntu.com dapper-updates/universe Packages
        100 /var/lib/dpkg/status
     2.6.7-14ubuntu1 0
        500 http://us.archive.ubuntu.com dapper-proposed/universe Packages
     2.6.7-14 0
        500 http://us.archive.ubuntu.com dapper/universe Packages