SHA512 (netbsd-INSTALL) = 3f0977d857cd6f19703e586483ddb2a06a6801eea540f8971330caf77c2e247351882f878b19b1ba36b4cb9f91b22b6054a42bb414708000186d8d98a0d60044
SHA512 (netbsd-INSTALL_C700) = ad5609f9aaf34260ca7f9df3b4a6542adaddc01c9f45edeb6317a2e2acceae88f3077247961a845d7714e9f48387993e6f1f4527b0426a5aadcdac80900f05c0