SHA512 (netbsd-INSTALL) = 8840a5a8adeb42f402847e556c775405bcc769e84c8e5665048ff97b9d644f613984d89ffe71c10eb6f1bfb85c8f7b9e7cf5893d10dc7df9c0ebd2d54d44098b
SHA512 (netbsd-INSTALL_C700) = d7cf63497abf1c22a4979695cc1c9d08a9e5c004e0e7874b52c0d86b0442ce8127bd40d542e1c32e60690014bdc88f0bab3b95bb23455ae7c8d1c0bd2be0d634