SHA512 (netbsd-INSTALL) = 0780e4a062fbd2a0f237d3e6113c5e00e68127ebe9f91c54b7383d7b27e30e764b2b18ace3f9e08fbe9fd9298807fe50bed437c60c02f3e39cd6143942c24b2b
SHA512 (netbsd-INSTALL_C700) = 251ffd08b9e6b47406f30cc3ff09291076880e7a787fdcb81e80c74c03d55a085dc530843269e6aac724d39cb2fa040bc96f7117396f1090ae5fdfa2a51c89a2