I got it to work now.The problem was likely caused by some abominable problem in the libgl1-nvidia-alternatives package. After a day of deinstalling and reinstalling some of the programs seem to work now, but not all. If this is a bug it's elsewhere.
-richy. -- Richard B. Kreckel <http://www.ginac.de/~kreckel/> -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
