SHA512 (netbsd-INSTALL) = f8c99319595a8bd9e714bbe9cc62a8107a7c58c3abee8c5159895f8dbc732d3f9b584d5cca534c4148adc35a8a31412fd287da3cc6806ae5a0fadcb1741240ff
SHA512 (netbsd-INSTALL_C700) = 4f56c85cbb8e1c55c07ed7a3a23c5582204decaad89ae42aea89fe9a3ada02cb5cb964bbce097f1d2f632b4e0725d40103dcadd9bed05705527033023fac667b