SHA512 (netbsd-INSTALL) = 6250af5e29eca234bd614be2d7fa29d11fae8721d3d421a0ecf52fcd19c0d6cd8dd47c49fc5da3c9f60fdb8e53830c1e0a80b37ddc9ebb133705cdaef3f7d751
SHA512 (netbsd-INSTALL_C700) = 23272067eac9992d6c9d3f5d90064307cc38e874a4aefaf8a364ba9a6e96cd3ceefb84bc835d19d6ac67c48cb7aad89bd36970e6f503a3403260bd296709e2cc