SHA512 (netbsd-INSTALL) = 8994f0f097061d8012443d386074fccc0b4f294d0cd2fd229570935e3d6cb706b947db39c10364a1eb4c7e0a3034b2f36705cc733d1b0fff52c2e107be1a68cf
SHA512 (netbsd-INSTALL_C700) = b06f400559f90221dc172564afacde1cb1bf71d40de8fdef1147737f118832d3aed1d3a4544b581d30b16213063db069e88654460cf77bd4314e3bcaa48bbfc6