SHA512 (netbsd-INSTALL) = 85d2b71624e10c7d8102501d3034e646f9998ae4a8317db6176a683a4097545e3f59a932410af77f3073fe14b5a53488b83223d574e86e0e3af523fab936d0e1
SHA512 (netbsd-INSTALL_C700) = c424915e5ee3a2d3332f5c66b45e678c540d44e48dabf20ad6e7b37cbda5f060c09f5c27503b48e5b5ad32f07aa395b2ec9f7e1037bad1ecac522ed94c0eaf09