SHA512 (netbsd-INSTALL) = c5343c0575459714e1f8463147b05bf1688e44803038d3b00329cf423386ae806098ca22e44214036c554d12cf0379dd5c63c99933b295ca05b3d5a10882aa72
SHA512 (netbsd-INSTALL_C700) = 2034ddf620524614d29250746a581e9e65726664440418317e1b5159d932adc25cff74195431d65e94d18202d899fd6ac259caadc4d19650549a038f78ddd816