What is sha512sum of Whonix-9.3?

Support
1

Here are the sha512 hash of the 2 files I have downloaded:

a4255bfc12a952ffd2c35329cbdea333e057fdeea9b63881d89dd7326dbd158c8878297ec1bbae9bc51f07dd309e8b627392b53d3c418506ea029892b12f2872 Whonix-Gateway-9.3.ova

4b2b44d0bdff6af80b835a23140ef6299b3beb6d0f753903c9bea61372151e80af9023bcd3a24731970c426e99a90b0eed69b49f133536f6a1f88a2f4ef1785a Whonix-Workstation-9.3.ova

are they correct?

2

https://www.whonix.org/download/9.4-sig/Whonix-Gateway-9.4.sha512sums

https://www.whonix.org/download/9.4-sig/Whonix-Workstation-9.4.sha512sums

3

Right now I just want to verify Whonix 9.3

4

Then replace 9.4 in the links with 9.3.