SHA512 (netbsd-INSTALL) = 6b5b1830d54506d52d1ff9e46ab303e67faaf76eb303794358463f37fc63b378ffae723c0fc3d0111734397d1be0a4416ffd6d283ff5918b6e54ff71a2cd94d5
SHA512 (netbsd-INSTALL_C700) = f9350b4186c530e1ccb7b5596c4dff75686e9db10f5fc2a40d9480eaa5ee0b9e7c95d114e8702d83f01a905970151e374a739e0b0b57b6f9e6c1b0f06a8e3635