SHA512 (netbsd-INSTALL) = 6d8ad58e2f2b0f14ab038cc616011ad46bdcc5935cd889ccb75d048e224eb83b0e8c085e9b35e1896411229b4dbf7b558b9e675dc22499dbc8a447090570b515
SHA512 (netbsd-INSTALL_C700) = a56dd845528266c9bcf1129188a0ff4961d9f708c5fbb6a2308149f645796b1b8f282ebe951ebd132a591ac28317e0d68e8cb4ebeccb246476eee6d139c04713