SHA512 (netbsd-INSTALL) = 1f2ef004e97e6cc486d4eac6d6c12d87f6b10a1b2e21fe5477b324cfae7b79caed5febecc312edd907944222e7f734f228a806a326639d188b76d0cf2a3a84b7
SHA512 (netbsd-INSTALL_C700) = eb98ffbd6b834623e4661e3199051b114ee72f33d6de79e91b1f9c7ce9b44bee8f2ae992cab8dedf49145c029a5053f60b449d8076eb0b53d1fb660956bf71a3