SHA512 (netbsd-INSTALL) = 15f89da4342d5c55c298fb278f6c9bfc1f36dcc72c6ae69b9a587c04908c2a17e48a99a14df4a99ccf5e14b6571521b3f5850e9f7ecd45f937896c3026731d10
SHA512 (netbsd-INSTALL_C700) = d0863ef98b1a55c5cbf3a0c71b7086d01ac686b4fbd34a624bc64892609292dbb1059da5fa90285192d39ac34336d9d833065aaefb5b892dce3c9b173a6c15a1