SHA512 (netbsd-INSTALL) = 83db95622b0420d29bfa558b38ccd191c3007bb8ed9dd284d2e08303870449aac36c3f2dfe1ccebcaea07835dd354b294da4e3782590b310e870757cf84a043b
SHA512 (netbsd-INSTALL_C700) = 92a1db57b89b6e9da24834736094c598053ade0b494cb0591c5f1722dbd22b1849ad978dffd4c840660b09ed73079f7fe66c03df1be849183b66fb02d40d6f78