[gecode-users] [Gecode-announce] Gecode 2.1.1, Gecode/J 2.1.1 released

[Guido Tack]

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