Aufgrund eines Tickets habe ich mal eine aktuelle Version von DrRacket in /opt/racket eingespielt. Es lässt sich über die Kommandozeile starten, wenn ihr „drracket62“ eintippt.

Des Weiteren sind wieder die üblichen Updates eingespielt worden.

ps. Urlaub erfolgreich beendet.