SHA512 (netbsd-INSTALL) = 0ca86b8d9f0ecf697723d7d5b0bc06641e13330f0a2e4c91682c533aabf85f1b905773b65ac32f4d029e49072617d302b5a10f1dca8dd15edeef1b18a8b56377
SHA512 (netbsd-INSTALL_C700) = ebe8deed7bc5c51b5a46e473f0410c498ba6f44350b2ef3f9351b54a353516834ffc0c61b974d49556138516639d0a31195f3a44ef5d3209cf1f6cc7881a2b5e