SHA512 (netbsd-INSTALL) = 757335a0bbf9e4e521b57ec1bfab858e39300c9dd36d17307846c44b9f16ace8ec9588ecc167dd9a731370b5cc3d25b6d78d3c57bb53d35cdf6427341a51b139
SHA512 (netbsd-INSTALL_C700) = db890cfc2e216f92a5a421894565b8e485dce8dd88398d7a3d328996d8fa09ae448ae12424a69878d25bfddd21c048b80fb0997c5830e6ad3c5f1f51eabef26f