SHA512 (netbsd-INSTALL) = 86f5a137c6bf2ab05cdb73b5fc558b8ee5f350f84367700b2b4e0ca873f083211680fcd378383d98319ea2e3e893324aa8cbb1ab0c0c8feb2dc9b309859767fb
SHA512 (netbsd-INSTALL_C700) = 61761084997e653a6734e5e7698fe2d423cb461ca7fe605295483431fe222ddb7c5d95c4c72ea0458a84ddf9d6ed2e842c3daae577f7e7f09b3d2ef252d58708