each of these is verified: the current sha1 and the new sha256 are both correct for the given download.
PCalc (http://www.pcalc.com/) is an excellent RPN calculator program.