SHA512 (netbsd-INSTALL) = 80d375ad330a24fa77d5b947e9224c01f0b8bd3ee4a9e6f3ea92a0abd969cd0e1aabb63f5fa02b398fc0a725d228234b0bcfe99aede2442ce10c3975f0b47fe9
SHA512 (netbsd-INSTALL_C700) = 9f02266f550514c50b9d37193ca75eb8129a4503f26746c6b5f94375696e01a142bc460e476b50a81c7278c34a96a50a0ae69cc76a817ad8c050692378fa6f60