SHA512 (netbsd-INSTALL) = 7fbc1ce9e13a3c73fc9c9ff8a4afab584fbd1f168989a0f5ce3656334fb8102f875a3f6f7cd1d74d5b6d4ef3c58b18fbcb833dd6c0dd36cd97cd4040fa20a0f2
SHA512 (netbsd-INSTALL_C700) = 873a567f180038ba86c0ed1b9b7f6e0471abf6cfa53f0be7f78bcdc20f752d89362ecdf93eef19e094a3964b21a44ca04091e1f55845a25a53fd746e39580342