Bug#413220: wxmaxima: It is not possible to start maxima help

Package: wxmaxima Version: 0.7.0a-1 Severity: minor It is not possible to start maxima help. Error: Cannot open HTML help book: /usr/usr/share/maxima/5.10.0/doc/html/header.hhp Best regards, Robert Kasanmascheff -- System Information: Debian Release: 4.0 APT prefers testing APT policy: (50

Bug#384675: gnome-system-tools: boot-admin binary is missing

Package: gnome-system-tools Version: 2.14.0-1.1 Severity: normal the boot-admin command is missing. Although the documentation files are packaged with this package! -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (500, 'testing'), (500, 'stable') Archi