SHA512 (netbsd-INSTALL) = 0a5d95052570f4d0784d75439c8852b560939594784da13133e7827463a4eeecf8fdc0435734a368a13a2ea85b5f73b05427a7f7f5aceb5e1273e7ed28c1a74c
SHA512 (netbsd-INSTALL_C700) = b3376e2caa03615f9bf4c410e49228a0747c72a79c1df4ac17cb60af2ae115a043ad77008b933a0ca871daf53600cd6fcb3f7a0b1aa5c295a157b9aabc37e14a