Monero Integration in Whonix

[Patrick]

How to verify the Monero binaries that are shipped with Whonix?

Whonix gets shipped with Monero binaries by default. This is provided to whonix users as per the monero community crowdfunding: ccs dot getmonero dot org/proposals/adrelanos-debian-package.html Is there a way to verify the binaries that get shipped with whonix against the corresponding monero hashes/signatures that get published on monero github?