Allow to specify sha512sum for input_files
Some input files (e.g., the macOS SDK) have a public sha512sum rather than sha256.
It'd be nice if we could specify that instead of the sha256.
Some input files (e.g., the macOS SDK) have a public sha512sum rather than sha256.
It'd be nice if we could specify that instead of the sha256.