SHA512 (netbsd-INSTALL) = d56385f9acfbb9ccad0f28d6edd2b4861ed4b1667da61ef2cd247628f5e53e6b86e947c0f0cef6d25945e051f8844304ada28b0e349bdce1edf16e5491f04814
SHA512 (netbsd-INSTALL_C700) = 3a1e4b3d06605377b9371b448f43d0612d17341939d965a0f927fd50ecaea8ce2fb78f4fd2bffd06729d856f7d9f0cba18562973287dcf93f6ce3975aff1f1dc