SHA512 (netbsd-INSTALL) = 5434cb246859ef5b1d2016accebfb837f354a9c41ef5b6f4bf5226ac88ffad966a82ad61eac6bba9c31d18f4ed79606cb50346e3fbb78123024cb79d09c7f8cf
SHA512 (netbsd-INSTALL_C700) = f63c77135d11f1b539f7bb298f3d26c207ef79662c42733ac3a2e4043ffda45454d1e1d290580d8524789bc151baf1582fdca8286dea20d8f4c876cd4156371a