SHA512 (netbsd-INSTALL) = 4f6ce2e5cfbc7d410843cbcfef68a79cbb270788c17fc685a70d02b0142328fb67741348a87f88ab02c7aec5b7ad6eda6e17849ab49fda61731087d8cd93f1bd
SHA512 (netbsd-INSTALL_C700) = 610f50a1dd3b5aafbadd9f02cb5d056f5b46a826ff369deb37ffdf9153008e1d9e1d059e52ec4eeeb36b942c9c0cea9c7d3142b7e5de8c062a24cc3557ea4054