Malcolm Ryan 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?
Just call md5 on the downloaded file. In the terminal, just type md5 Downloads/Gecode-2.1.1.dmg (if the download is in that folder, of course) Guido _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
