SHA512 (netbsd-INSTALL) = c72d7bdf7d8d8ae20ad58685be991882e4d25929738b4708df34326a8d7614165a15c689216556fb6a6a1554070087bf46972c0948a2b0d2a5a5cca2fa9682a6
SHA512 (netbsd-INSTALL_C700) = d7df53ab33a7bd9315251bef5af52f5df56586a4efa1d3fa529cdadce16977d5168e26ea6cd433d8cae273f89aa9eab52974c6e400ffa1e82f845dda056bad1a