SHA512 (netbsd-INSTALL) = f5cce8c268dd3a6589fbbfec4a55b2f48a7f5d3f0d193e1c82fa7f67513c13f5e35241e12354fe0fba2ac715b995e0b02a285552e4a961157f4137c9e8365b52
SHA512 (netbsd-INSTALL_C700) = 8f764570e5a100c5010dc8b68795ad1191644fbeb994ba85b7eaf9eafb7560a138d61aa0dcdadab4efe8d4912fcdc9eead533832748f8540382a1e383615a67f