SHA512 (netbsd-INSTALL) = 25fa12d49046a0c07a5467ca2ed339340056ec61a28c269a0332ade22cc39856c5109c2e64ed09c085eff828f33505104fee8be6754bffd0a68206fa75bd77e2
SHA512 (netbsd-INSTALL_C700) = 3be6b2f27184fdd53d9a412f55f6b8b760aa7acac364fed1f10099d929667f37d9353aafacae3998c673016f6b1c73be107d4c58e6649da6909feda40e5c05d7