each of these is verified: the current sha1 and the new sha256 are both correct for the given download.
pdftk server is a very powerful utility for collating, concatenating, and manipulating pdf files from the command line.