[Linux:SW]

Hi,

auf dem Linux-Rechner (kogs32) is eine neue Version von gmp (Maus in
der Console) installiert, da die alte Version Sicherheitsprobleme
hatte.

Sven
-- 
 _    _  _____           Artificial Intelligence Unit
| |  | |/ /_ _|                                           University of Hamburg
| |__| ' < | |  phone:      +49 (0)40 42883-2576         Vogt-Koelln-Strasse 30
|____|_|\_\___| fax  :      +49 (0)40 42883-2572                D-22527 Hamburg
          http://kogs-www.informatik.uni-hamburg.de/~utcke/home.html