SHA512 (netbsd-INSTALL) = 5a42f77290f1fe0e9b680269411c735fe0f7f237b5a31f9019be2e844331c9154277817bd1b71ff4c7c002da935008f063d3fec2c854b8dbdf3894694d7fa3e1
SHA512 (netbsd-INSTALL_C700) = d22f82955a540274fefd0ac01f661b036b38585e2bcedb4b97dd379ecdd395f1d73849ad65f8626a593dd1e7fd67b1fdaeb5f3ca6fb1cf06baab6d15b3f3f3b6