On 2013-05-12, Jaime Villate <villate at fe.up.pt> wrote: > Unless someone has a good reason to keep the Maxima ports page active, I > could take care of removing it from the website. OK by me. best Robert Dodier