SHA512 (netbsd-INSTALL) = 88674bdb67b17aae5ba746c6c45a82cfbed46d8afcc70c7a81ec074d6606b19d7699a8393653aed9a02ded0371e618a94ad8740442ac335f5184cb1c786cffa6
SHA512 (netbsd-INSTALL_C700) = adf32d08e8555a795cab0a9ac2d305378c8326b5145f3bda79ecdfbdbadab6df244c1ceb04745bec0e34ce8c270d45da9426ad01fef68ef868cb6c3fb5eaff0c