SHA512 (netbsd-INSTALL) = c33ab0428b52696d1994e361f9691bfe89543ee4074cdca5ca04cb1531658b2df8812fea5cd70a0f6ab33a021573dde7ddc105d64a498460bc2338bc6f89debc
SHA512 (netbsd-INSTALL_C700) = 6455d66a6813976b2e0344329348d4a127cbe0f70704ed1d2de80082a3c3f9e9790fe5b5907173ce8220c71021446af57b8ff95abf52c3c855f563f5e747fbb5