How to verify executables from downloads page?

The downloads page contains links to download large binary executable files. However, it does not contain any information about how to verify the integrity of these files once downloaded. Are, for instance, the SHA256 hashes of these files available anywhere? I think these hashes should be linked to from the downloads page. For an example of a software project that includes directions for verification, see and

good idea. in a couple weeks (after ACS), I’ll set it up better to include hashes.