SHA512 (netbsd-INSTALL) = 50fb666569d819e76c5a62d198d706df45e2ef10b32f3d890db35644bd29fc9b6bfb680d10f627394ef6fefb5ac531557114b2e9e0bb6410fc1c20080809d963
SHA512 (netbsd-INSTALL_C700) = e4aa32da6830a2b906633f978678cd9e7dfd10c8d8c87210143601f4c252e0d7d94bc4eab969ae36ca4371ce65838cefd0fc085f7e6e6d015882b78d3f9010c9