SHA512 (netbsd-INSTALL) = 42c73b1cda61e71853e14b1c829db0e5bfac535c4928f5a7656bd22ffc7e0aae48f0346ad36ec1c4e127e814ee1425522846de38ad2e24355c8fd3daf7822f03
SHA512 (netbsd-INSTALL_C700) = e4bce3ae992e66e22cd7aad7bbc84190a0f997b4fd2463236d28f4566f42992a85a9e451cdc7088ae019298373ecc94c3ffbf5fe3bf9d347afe796c9ac817f43