SHA512 (netbsd-INSTALL) = d42a7a74f1416feb8f1667bc1ab98882715d10d97bc16ef44f23e3b5e070c283c3cff4045a11b9d8990dd3a18d8d7f09ea16f836fa69e51ac507174bbdf65f02
SHA512 (netbsd-INSTALL_C700) = 69b8dc2106231f2d6ca53a3f16dfe6098ddcc7d701ebea1440c559dc3809f30068b4d9df546d25b5c7df1d63aaf23a39c824cda910106850caa45375cdf521c4