Below is the information I verify Whonix .ova files.
xxxx~$ gpg --import adrelanos.ascgpg: key 2EEACCDA: “Patrick Schleizer adrelanos@riseup.net” not changed
gpg: Total number processed: 1
gpg: unchanged: 1
xxxx~$ gpg --fingerprint 916B8D99C38EAF5E8ADC7A2A8D66066A2EEACCDApub 4096R/2EEACCDA 2014-01-16 [expires: 2015-01-16]
Key fingerprint = 916B 8D99 C38E AF5E 8ADC 7A2A 8D66 066A 2EEA CCDA
uid Patrick Schleizer adrelanos@riseup.net
sub 4096R/CE998547 2014-01-16 [expires: 2015-01-16]
sub 4096R/119B3FD6 2014-01-16 [expires: 2015-01-16]
sub 4096R/77BB3C48 2014-01-16 [expires: 2015-01-16]
Its different than the website given.
Here is the md5 checksum of files:
Whonix-Workstation-7.ova: 3400033dc7ca2e3049e44dc013195e8a
Whonix-Gateway-7.ova: be1b2523cadcfb81e6e6e094e0760a86
Is this right?