Re: [MacPorts] #17603: update wxMaxima to 0.8.0