SHA512 (netbsd-INSTALL) = e3c4fb3dd26d8767d22bfc82959b544f65dc4e225cafcaca6e147d2c78acabe3ddfa9e71ffd817026533294055d99d8575d72601d97fe82cc6617f86cf3fe09c
SHA512 (netbsd-INSTALL_C700) = 0bba0ae4b6fef9b7b1fcfbcf7fa38baa1ea296074476a9d7a14466668b8cc474d2b59c93d11aa7a45d7d0c3956d158caf485a31019f68c29a3e24dd2acc4283a