SHA512 (netbsd-INSTALL) = 67ac0ff44d9244d28123124c8dc44ea66cd772d6667f9262f387d7e9bf062be41eb5594b789b06b0885e6950a16dc9b2730e957fd23286e49c7e6fb46b12b303
SHA512 (netbsd-INSTALL_C700) = 4286ddf76ac9e4e26ecbccddb11be3ed3b7c5d1f0a382b6d175961a3e0f21df655e69c9d706aead71ffb471ff5690d5b13746730859562bef8326f83160692c7