SHA512 (netbsd-INSTALL) = cf715caaca5e083fcfbfc687e849b9dfd30c61008eaa4546905389b8bfa09a919018eb5fd5b7820033fc9dbec7710bec74ec673103a31b295cadc39e0ea49467
SHA512 (netbsd-INSTALL_C700) = 0840932fbb0bd25c92d5adbff462a981eac13ad72e5e47f51b9195cf85d9d4fb23ef0cfaa6d35999986d8e8b7bc0f6918d667b550c5f2dada4511bb6e9871ee9