SHA512 (netbsd-INSTALL) = a729d1f56d5d5bb56eacfa5151cff794628d84b99e3c85ce2aa3eec0df836d5abf5ab6f1812f7a02b95f0d6d590684d49026cc9b20ed772d66594c3bc01de221
SHA512 (netbsd-INSTALL_C700) = b99e00359f2a27d9d750f690f9fb064203ed1eba22aa8d3b1b21c559584adc9d110654ac43681c6934ea3d5f9cfcdbf7d358dc0e9e1b7873910b1564f10b3218