SHA512 (netbsd-INSTALL) = 3bd597c52b1322fc12b3c2f88ae1e375c699a4c8bb9dca62a956aedc321c534d5a670c418b8e42a8e3dea6b085b5337c59eb4451120e37f44b26d6c4a73cfd23
SHA512 (netbsd-INSTALL_C700) = 8b3ee8c967f42366ded29143b9aa3de638772a09168409a050b9e06ef39e6701178dc352fc9566129041f3bede9d31343e191bd914568e3defbb4390b8b7a753