SHA512 (netbsd-INSTALL) = b375d504b7be537beda28d4016ee4ab066274a60cff9f138b4bf292a0bbcd2e0df5e268806619d20bea420b8f227c15cd4b3f683cfe2abd148bf8267f56ebe3a
SHA512 (netbsd-INSTALL_C700) = 05d5065e93610961d70bed1cbab7ea7b22bfb26dd0b16ae017223c10661d5b97d07158f0ff20b4ce91c77496af2f26f6d7ab3fa3b9cdf7bc090eebd9ff3eae7f