SHA512 (netbsd-INSTALL) = 0204c80dd334b1d514c824ca2837c6dd156510e7d5d2e7f38bfc818b087569e9139bfbde2a36bdfa20d06e408b5e4807096174da6a1dcb0794ab6964b47dd01e
SHA512 (netbsd-INSTALL_C700) = 8d90d3b73d5e40be039a282085a991b2a3a6b22b313a4138b69ea4c4cb8a6d609ce75a18505eacedc33c180ed0a91e3cb49e89f6e937497b2485ac97997daf58