On 10/03/2008, at 6:49 PM, Guido Tack wrote: > > When I try to download it, everything works fine. Could you please > verify the md5 of the file? It should read > MD5 (Downloads/Gecode-2.1.1.dmg) = db768db92ff0793f56eaa5d7f1948cc9 How do I do that? Malcolm