SHA512 (netbsd-INSTALL) = 65462fd4ded23c4f5b757d061e89c9efd833880363964ca2699115891f1c44a12fb9e1c21d780a5c1eae52d54eb48b4004d4d1a867dcce386ff89cf6c6debcf8
SHA512 (netbsd-INSTALL_C700) = 396009de7568aca61e7313371a12604ae43299570393ae366368e2c8ddb0dc4d16322faaa838a1e3c3e615cff8e01932f1aea724a4af7770a068bd13343039de