SHA512 (netbsd-INSTALL) = bcc21068dbaff5d75a11f73ffb4eccf022175f59e641f990d3e81d38c290b0d013e4048db001d0e8aa8be6e2d4033101b867d9458ee4484008d68a68e1ba0c41
SHA512 (netbsd-INSTALL_C700) = 0926f04945e5c35bf50b810f2bb068d0194608cfb727c2e70921ed8ff034280288468bf0c8a78026c829cc862af9e47dab0cf0180a39de6022bfa025173b352f