SHA512 (netbsd-INSTALL) = 6d4236e5512f3156dfc975a91d64dc9fa11a2bb426e192903814e08b2523400a1187ec49b624739880328a7ca1a50b3833b112230a97b2549b6b1bd74fb144e5
SHA512 (netbsd-INSTALL_C700) = 28428ca2280e24945467324f33b29a0b0604f46f5b505c9a6102a63a4a4ecc7edb0cfae672c9e061119a7c63cbed56cc3ed2e76d9175d4fcfd0775dab4cc5600