SHA512 (netbsd-INSTALL) = ce38630eb23abc503c45986f18bb0c8af97c7e7654e12ca1230aebdbb11de1c4a63f78afbe6a47ec1906f298460d9dbcb3b3b083fd575168f77a7cc7cc8ad341
SHA512 (netbsd-INSTALL_C700) = c7dbdd604b994c08fde5262603d3fe2a12ce975ad7cfbd45e5e6f028c41ad77f5d7e297463b83bd649e193b0f22181691f30b7b849d057605fdafd0078129ce4