SHA512 (netbsd-INSTALL) = 89c1dd68f9580afdc3bf9d96c34d2e42ebf55f86edee46b7099681dfea8a859b7a659fb2f666ffd0233c7b1147e1b5580127fa8c490e4fd768c1df05e5164a43
SHA512 (netbsd-INSTALL_C700) = 2629448f3cba4eda00921eac380642be15337b82001832137751189bb4ad8a00e40aae3b173d1be6fd6a27953a339353d24497fb71fd07c39383098bb5398619