SHA512 (netbsd-INSTALL) = fd2e990a8fc9ebbfb27ceeef05829562467aa3806cb998ed710b3b1ab8c8968486d83fde3309eb846915f2e3aef39891ae720be8573e137f71df7f6bf3d74343
SHA512 (netbsd-INSTALL_C700) = 7b53bbd4ce50283957b6d3e8427dc7e266062ec2816f8215cbf72a11ad1b570bc20a3f79e2a7bbe80229faf44257f575867c0ae8f1efa3b358bc2969a82da486