SHA512 (netbsd-INSTALL) = b96fb7017b94f4c56cfcbae4a34c876c976663136537575f98654a29a8fe4972519aa670b73bd323bfee56a3a02d80975fa933b93b66b296295c074d2c733127
SHA512 (netbsd-INSTALL_C700) = de65232ee0248400c4524000be88d1843cacf36d2909e728aa0b6e6d0bae36726369d5a153d7da3c7b0bdfe0cd9f2744014472635f1e10ba1ca6c4c7c5f7d10b