SHA512 (netbsd-INSTALL) = a428b27e5d9e6efe34355e2e8dbfeb5c72829095f4aeb9b2c8c0af388621c72db2a1d9a4d430e22da09fea3dce1526e37ca0f208aea0376bf89db207ad815176
SHA512 (netbsd-INSTALL_C700) = dbd57a59bdf1403e3922dbaea534253cf8343bd39fdc982ebd8f64ff4aae060a9e414d5f63c9ad6b8ca930039c7af306b27496c61730e78be9343723b79cc5a0