Hi Michael, > Hm, very strange. I have the same Maxima hash, and it works...
duh, this is very strange, indeed. I just un-installed maxima from my profile, ran the garbage collector, and then re-installed it from scratch. Now, it works! I'm not sure how to explain this phenomenon. Anyway, thank you for the quick response. Take care, Peter _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
