On 12/20/08, Andrey G. Grozin <A.G.Grozin at inp.nsk.su> wrote: > maxima-5.17.1 is now in Gentoo. Hi Andrey, thanks for the report. If you have time maybe you can update the "Maxima ports" page at the Maxima wiki. http://maxima.sourceforge.net/wiki if I'm not mistaken. best Robert Dodier