SHA512 (netbsd-INSTALL) = c80b32039a3870aa45b1a7e4edc36f04deeeb9cee74cb5e73c9bd1dc4f581bec0783f2fb1dec300aae9701e0c5a8b939fc28fcc856c96eec8b4046ce659c4e08
SHA512 (netbsd-INSTALL_C700) = c563ed9dce00a72ef37883b70b09d6c4897888450206c67ef2120629cf4cbb3bacd3d948925ad3428ca74da044303526f8bca7a930ba97d3f80b1619712ec4be