SHA512 (netbsd-INSTALL) = f5873cad07dc226a0b19672bdcd591d60f490104e8108cb28d64190e1cd4382b25d343ce2125df3891d0622e2b0c9fa4743d6e2301772add618d522a5900d6ef
SHA512 (netbsd-INSTALL_C700) = 5260434f0b9bf0272a669e949a0df680789dd587c3cfbfe0a1f94691ea4ae3d18288cb3195e06f99b66232e6d6dab9da930dfbab6048c2c080a0f184b08ab477