SHA512 (netbsd-INSTALL) = 02e8e71d14e7c29dabdbfac8cc78ed3aab0ba25c74dc6fbf631b95015273615573488b247515540630cb2973ac07c7c4e6e478f3f5a1cfa89e5557e9119c6c09
SHA512 (netbsd-INSTALL_C700) = 862cfff18044b68cf44ba008e181ecc0897abcb191588fc090a31d9854fc6ac79651e042f5a2be4a17a6b2a0c0f3ead72e16573e1760c18e01affadaddf5d381