Below is the information I verify Whonix .ova files.

xxxx~$ gpg --import adrelanos.ascgpg: key 2EEACCDA: “Patrick Schleizer” 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
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?

Sorry for the confusion.

This related page has been updated: