SHA512 (netbsd-INSTALL) = aa1876b1b5ea4b08cb44b14ec06831b39c89f0d83f5520842a869d3542bb822179a3e7c085e412cd260f3832f890e15c0f67e24dd3c1410d7ab0ba2633a82aeb
SHA512 (netbsd-INSTALL_C700) = ae85e1c349b82978c55befd8fe211511603c816a1771703210a62a5fe82abf8b2ecca2e61f072b5edd36cccd6aacb36129bada550ac846c4767dc04809e6e5c2