SHA512 (netbsd-INSTALL) = ce7ef08e9582a4c7eeb673c0dd32f9c1859d8941b4b39035ab676eb1a11b4e98a343bdf7014808814d877d7384f0d0386dd065a731a7322b5c9a10baf9ca3efe
SHA512 (netbsd-INSTALL_C700) = 62414024de76ca42a81dc9dbe23d129163cdee5b745545b22cc3afea2d5676cb179f2288d689ffa305815ad34b98190b50366cb533a6e4f1f417011733476080