Hallo Ernst, Hans-Werner und Matthias,
einige Feststellungen zu dem ursprünglichen Problem, die aber keine
Lösung in Aussicht stellen, habe ich unten trotz allem angefügt, nachdem
ich das nach und nach beim Testen geschrieben hatte.
Aber eine ganz andere Richtung möchte ich Ernst vorschlagen:
Weitergeleitete Nachricht von Mechtilde:
Hallo zusammen,
das hat wohl weniger mit der Paketierung von Ubuntu als von Mint zu tun.
Hier wird auch noch ein zusätzliches
Repo, nämlich ein ppa eingebunden. Dies führt unweigerlich zu
unterschiedlichen Versionen.
Zunächst würde ich erstmal schauen,
