SHA512 (netbsd-INSTALL) = c62cc024df74ff13d7bcc6dffdde8758ae7ac7eab5d7851dbbc922bf8642518bcb33b2aee66d905cec9d9e477436aeaee36b00637728b0b9d19cf2e231cebdc3
SHA512 (netbsd-INSTALL_C700) = 8d316e3cdb161e6cade21db965b6af1a65d64dd6cf2889efe08284e10d80fe78f8740f7060a75820937056ab4c7aee94b60c54f6c19f44bb12721e253caa716c