SHA512 (netbsd-INSTALL) = dfabdb0089742c8e93fd56e7fdd55fe994e1dbfb788f0b8b601729328cd11dc6210cd06b12673bb68da83ae0eaef1ad8b5cf7530687319190c37a7640beb7c12
SHA512 (netbsd-INSTALL_C700) = 1f8655267e6d0ed07beffe6a035291fe1f6bb59ab0d37b53de4a41860e6f2ec7dae8a6ad0066144a9fa488ee5477ba1c88333e9c650bf9f2fa4efac4deac2d84