SHA512 (netbsd-INSTALL) = 93d4f8f91f91ae1f192965eb7d00c1e6697e00c77a0e06b0a9d3770c8ffb8bc317eb3232cb8c0adc8fc0908e083d4a7e13b913a6b3c12976bf0d66172dd8f433
SHA512 (netbsd-INSTALL_C700) = e1688fb3a5836148db1f5485bac52230393fdad4a60fde6875b8bc49b68c367a015ade709d37c1fbbcd3aa1cd820055fce19d347fdfca7a3ced02bdae91855a4