SHA512 (netbsd-INSTALL) = 2f4a59797ffde796d62b8e389021a3c475cbca0a285122ccc199de22ac7f6fc0ea33ddeed2b34f9f6cca55b66068a7e1cd4b75669393dbb9605b69e7787b0b84
SHA512 (netbsd-INSTALL_C700) = 6d36c7905b7d82c86e4061831e7f9f8bdc7c96d1087e28b292a5d675fffd1fee2bece07b977988532a42b9d582bcb97c8be3cb91a2eb872ae00c76f05d1eb7a3