Bug#914518: wxmaxima: Homepage field is outdated

2018-11-25 Thread Gunter Königsmann
Ok... ...will update the other bug as the problem has been resolved by uploading a new wxMaxima version.

Bug#914518: wxmaxima: Homepage field is outdated

2018-11-25 Thread Adrian Bunk
On Sat, Nov 24, 2018 at 02:10:52PM +0100, Gunter Königsmann wrote: > 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. Please update the RFS bug when you make changes. And

Bug#914518: wxmaxima: Homepage field is outdated

2018-11-24 Thread Gunter Königsmann
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 >

Bug#914518: wxmaxima: Homepage field is outdated

2018-11-24 Thread Adrian Bunk
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/