Wow... ...your message coincided with a report of a bad bug I had to
correct, too => mentors now contains an updated package with a new
service release of wxMaxima.

Thanks a lot!

and

Kind regards,

    Gunter.

On 24.11.18 13:02, Adrian Bunk wrote:
> Package: wxmaxima
> Version: 18.10.2-1
> Severity: minor
>
> The Homepage filed points to a no longer exisiting page,
> current upstream seems to be
>   http://wxmaxima-developers.github.io/wxmaxima/

Reply via email to