SHA512 (netbsd-INSTALL) = a3ae1714b85ef6fc7c6437ff1aeac99947ccd13af215501c1ec86847a2f919b29d13a2235e74b5adc1e79bbe43a665dae81b4e85c3eb6dac0f757bb71b439e67
SHA512 (netbsd-INSTALL_C700) = fa1871c34fe21fe3dae9adb61d87998d3cc52d63859a337fe571cdba841c7640d4731900b1c19af26c3c4d5d41b7edf52ea846dd13687a9cfd00d44af2aa332d