SHA512 (netbsd-INSTALL) = df75cd54e560527efc562ef072602056c9412dfec7bfd7d7550de9b77b1a4581566ca33ba2bb4f6ec6fc1fe4de86082ba7eeb7468984d6f4a495bc2ff689a786
SHA512 (netbsd-INSTALL_C700) = 8cf7757c3e991bebb097ee3ba803fb4d5071555e1a392af0137f7c4730c1bdb5cf56c70de698eeffeba751dcfc8bb5859f294eb0bcd58eaa21847f5713f108c1