MD5 check sums

We provide for our downloads MD5 check sums, such that you can check the integrity of the downloaded file. On a linux machine you can get the check sum using the command

md5sum fileName

Literature:

• ​wikipedia entry on MD5