SHA512 (netbsd-INSTALL) = 6706354a0c75660e36a9461c10af7a2ee0d30a3fea721eaa2ab252ffdf6f803589fdf598ec29146414c28d784f3bc6defcb01130390d66e635e08f6056ca9654
SHA512 (netbsd-INSTALL_C700) = 692bd64751d4fd3fefb1310fabf52742cb8c261d69f50b1c53fdf86ce86101e3f0436e5b4748bc3c62398546abe7f0180dd64804f574a68a4c53c3dd4b580ea2