SHA512 (netbsd-INSTALL) = d65221236a3cfe495109b150ccdb85007c7a94b955e1317c9507ae3e6f63108d7843855c4d5bbc4dfe6e741e0678d287d4ca1fab3f5ff91a6c5774e996cd1369
SHA512 (netbsd-INSTALL_C700) = 2813ffd8aa6cfaf5221657493dd321b52a01cf4b29d64899caae3f86fac6a5ec39d1b222be186f2c5328305f3f0a45e0d6ad517e91c063de644640c7dde2f983