SHA512 (netbsd-INSTALL) = 1e85f1ccf8aacb2b07b00d521a95b23c8003c7280b6bbb746e8b0b0ccc3428d6bf5cf66034f41d986247512ed10096f0ed169624d5d211b09a95b4e50be7839c
SHA512 (netbsd-INSTALL_C700) = d5722c17751e70eaf55f8741dfe35d53b7dcf94f9901fe5f86b4c777895de316fba5a661fbf45cae6fa1c64f7f535c969bf9febcc7c7cfb5e21a7f16995d6a02