SHA512 (netbsd-INSTALL) = 08fb7ec9cc165e09a50897b3d8e6fadd41e4ec1e9c3326d883360cfee2b42bc212e4bff9a498fcee2223683c2c19c75e7aa7d0695c193f40a3a14c8298dbf746
SHA512 (netbsd-INSTALL_C700) = b7ef29d6ee453e84a49744c932feb5bcdcfda2177a1d4eda966efd9b3802143d90bb29d1fc021ddd67cafa14ca536efcef37aeea7db7462a5ea8a74dc9ef1e55