SHA512 (netbsd-INSTALL) = 8071f2c5615b61d08598bbb2b10fca85f6c20db38ab91cce058683e9555c784a6b698c785c66106cf0ae9dd637b8374c56125148afe6a194e91b0cfc185f929a
SHA512 (netbsd-INSTALL_C700) = 5a558624809b687fe40e698bb97c44fade57fa0ec159d52a44fe930f280cc87e39f8126c115ffc4e1f72f9d96e9bec3e9a48fa044d80ff648063315a235b1937