On 24.01.24 14:50, Marco Moock wrote:
Näheres zeigt /var/log/apt/history.log
Und wieder etwas nützliches erfahren - hier finde ich den Grund: nachdem ich sonst seit dem Upgrade immer apt upgrade gemacht habe, so war es gestern apt dist-upgrade. Deswegen ist openjdk11 rausgeflogen, und so hat das Trauerspiel angefangen...
Danke für den Hinweis. -- Andre Tann