On Apr 17, 2013, at 11:12 PM, Lawrence Velázquez wrote: > The wxmaxima port itself only supports i386 and ppc architectures. I don't know why. Oh, I see, it is wxmaxima itself! ppc is of even less use for me… So, perhaps wxmaxima just needs an update to also supply 64bit?