DrRacket 6.2 in /opt/racket

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.