SHA512 (netbsd-INSTALL) = c682bb90f0f4f3e75d72c1836838ee8f3dc0fae13eeabcbbc901555ed10ba601d482146d06372a64560c36182840021181cee83976e9a7a8fdef9a731e1cf3be
SHA512 (netbsd-INSTALL_C700) = f92617d54eb74dc9f317de20a077b821bf15892dab9e6545ce7e125a76cf8f5cea8a6e39087c2b42773b710bade422e82eabc40529ce79c92637eea31f4e9f3d