Panagiotis Papasotiriou wrote:
> Everything is installed from Debian repositories. Maxima version installed
> is 5.24, as this is the "official" latest release yet. SBCL is also
> installed from the original Debian package, and it it version 1.0.51.
>
Sure, but i am not so confident that everything in Debian repositories work
OK. For example i have seen severely broken mplayer coming from "quasi
official" repositories, and i had to recompile it myself. In the present cases
i have doubts about sbcl, since you have already seen two problems. Maybe this
64 bits sbcl doesn't work OK, i don't know.
--
Michel Talon