SHA512 (netbsd-INSTALL) = 50bc7b41fb2b53355b1c97e740affb04b7ef635cf7df02af0679c42abfbd8a12ab5722c215ab4165e441530f84545f9107b8441c5abe37a767191c19d050ed11
SHA512 (netbsd-INSTALL_C700) = 58b48717895ecf90589c49d6c96874b0365bb6c5135253c5baf7d970b5dac7f89009d50d52d17d24c44f108587b87b6cc3076616394279e108e47f14f742b71c