SHA512 (netbsd-INSTALL) = 9fc0284f6f8c2d91b2f67b66fdba5ca531ed7642df16c38935f07fa597943b340db509dcae8d0723486ac28a27777450e9ef234882b57b069d7b347478e86ba9
SHA512 (netbsd-INSTALL_C700) = 6fdfa7f9c70d44fd2aa9c21d86a08efe2352d5aa7165382dd09d720f907ee73c4aafd02ac033e3c792603557295a0e2e2f957879267561013208d6f16e982158