SHA512 (netbsd-INSTALL) = a4a1d991dcd3d525939052f6b21d4267e69b39d4e44575f8d20bf5a9df7ae50447421d31666dcea0ee83501a8e38a9cae497deba78653ffceab9870de8d821cb
SHA512 (netbsd-INSTALL_C700) = e0a0dfa6b666d0c62538fd7e1fa758b95e0606001f799c94988d4744174045fe8efcf3a8443a01bb4a5cd0985004e85fc36f59abd4c5ea4aa8221a87e3733d2b