SHA512 (netbsd-INSTALL) = d2b6b1b1faa348aeaa6a164ade4fb05434773923cefdfbe75946a8f64caa6e07de5380e56f2d8d10d8592f92f4681e94b0262730b2fc0cc201495ed420d57f64
SHA512 (netbsd-INSTALL_C700) = c54560ad12f401240cd330b96e8b0cf270af60b5832158f9e3f5004348c00175cb702c358ff9e5ca62a36b0d7757dc0a0bce0b7ec74adf0b86b21807f355a26b