md5 hash of download

[bit_slanger]

I just downloaded the nand2tetris.zip file from the downloads page (23-12-2016) but haven't extracted it yet b/c I want to ensure the file hasn't been tampered with (call me paranoid).

 What should the md5 hash of the zip file be?

Thanks!

[cadet1620]

There is no official MD5 hash.

The version in my latest mirror is:
  701CDEFA71D59B2D03C02C65E9AF151E  2016-11-01(www.nand2tetris.org)/www.nand2tetris.org/software/nand2tetris.zip
This matches what I just downloaded from the nand2tetris site.

--Mark

[bit_slanger]

That's what I get too. Thanks!