Bug#877891: wxmaxima: should depend on maxima

2017-10-06 Thread Gunter Königsmann
On 06.10.2017 21:07, Daniel Serpell wrote: > Package: wxmaxima > Version: 17.10.0-1 > Severity: important > > Hi, > > New wxmaxima version no longer depends on maxima, so it was uninstalled > on upgrade, making the package unusable. > > Installing maxima manually made it work again. > Thanks

Bug#877891: wxmaxima: should depend on maxima

2017-10-06 Thread Daniel Serpell
Package: wxmaxima Version: 17.10.0-1 Severity: important Hi, New wxmaxima version no longer depends on maxima, so it was uninstalled on upgrade, making the package unusable. Installing maxima manually made it work again. Thanks, Daniel. -- System Information: Debian Release: buster/sid