SHA512 (netbsd-INSTALL) = 5667d1edf0c822681531e17dcc8ebab71ebd3ccef33121a7bea5614d5d9f0dabc7d5078647b5c982f5a09e519d7b45f0b92f9e76de9500ac2b2283e119dee35f
SHA512 (netbsd-INSTALL_C700) = d782452779a60c82297487d189daf652058c7f0ad6a7557e5128b8f4611b5c518be90a0bed3b9de1a33f8d54931c1e20ccf254531fae43452e93e7b088d3b625