SHA512 (netbsd-INSTALL) = e2b56517b8ff28987a14ad804cfe8518eceaf801c968ebc1943a4d54281ca431ac04c4c90d05af6edf8b73e47ad8da509e5dfb99faf768666d44873ad3b442ce
SHA512 (netbsd-INSTALL_C700) = 80743b1d51cb011df856061cf4bfa60bde6891d2633ba1cb10d31600cbe6fd8864d77a29868850ceab7cebc54b217e8fb4cfda6b9c4dec9c1588953bcf27c26c