On Wed, 11 Jul 2012, Henry Baker wrote: > BTW, has anyone gotten Maxima to run in Debian Linux on ARM? Yes, on Debian in a chroot on an Android 'phone. But the Debian package management system claims that maxima-testsuite doesn't exist, so I can't guarantee that everything works correctly.