SHA512 (netbsd-INSTALL) = 68917e1e105c702f3f6938fe8bacc0cf20e42f35550e1853495948d4b21e0d3adcc5dafceed3d003c23d6d5d459e314698019063f7457f022c27da83bb3757d6
SHA512 (netbsd-INSTALL_C700) = d09a51287a8b138afe255a5382e9233094228df3f5f2ac6b93d24f20e4dd980ad78a855ca4cb24bfa5277a69c4b5ab4e5925eb6d9021e213768b84a8b2845970