SHA512 (netbsd-INSTALL) = de37b0f8aa23d8cd2c0531baa4fdab23c875ec6551623e9bd921e70a16265d365a60482976ef0cd07b3859292fe93a08dcec5409fde79fac454ccd00504ce12d
SHA512 (netbsd-INSTALL_C700) = e8981f19941032805957a468e97fb11d06eb650724905a3c777668a62448ec7bebd205981d639340fa61f561e4a725b4115c52751e103d11dec884525f3c671e