SHA512 (netbsd-INSTALL) = a55a5dd8c73c0856b3271663b6eb1514fd3be3fb8927e1426a3110b2f5fcd2773601603bad57ec275143477b9c753e7d32f0d5b527e5ec73e121a10c0df17a0c
SHA512 (netbsd-INSTALL_C700) = 1004d9d72fe33d94040581059b808fd387dee7a4393d35a9f2a91f4da439e91d8391180d1b95d1bc5b4c37565a7f8aab38b585aae8a32e0db3a48af96ba55d30