I'm unable to access this repository: it doesn't seem to exist any more. Does anybody have the debs for maxima and dependencies handy? Thanks, eric