SHA512 (netbsd-INSTALL) = b9d234b9d2b19a616276e91beb4338b3c5de76feb20d2c83b2fcccc92ab906a58f6a9b110b53be299ec470e0b88357843fe18638108289892d69b89bac24d2bb
SHA512 (netbsd-INSTALL_C700) = 70ac89711b95571d75c0babbcf57a62fda853fe380d6a0ac0b49759b9473245e601dacd1e91f07874a0c8d0113b81371076e2f284ded241f0fb530c9d9dde5b0