SHA512 (netbsd-INSTALL) = 93fbb5fbbd821ba2a03527b1f4d10f259e75c4d4d481a1e50a7430ad70f57609e2b81540c8a945405925e5d0b19cbe7e07f4a8b19e6c11da8a2bd6f55665c638
SHA512 (netbsd-INSTALL_C700) = da8e3c2efa2761a41ed4fbd0318c5b7b3063b7fb8c0d9027bb9fe6ffc29c6bd1a0fae28f771e14dbbcc609fb7fa9203af4d19ba4a37463137af7339ea669e412