SHA512 (netbsd-INSTALL) = c4db740a2932e637beda8d4678afa101c90bba40c22f4333bdcd8d60e75a0578a2c6d813950c70f9818416f364c1bad60b1ab068ad9b0f44a389529e944ce923
SHA512 (netbsd-INSTALL_C700) = 85edd6d93430580eae316a279af571f7e60543e1802e1afa806575a20a4c9ad0bbb0950487ff4f61daa8d00c87ec17a8da69bdcf9d80fb89ed0b78dc6d1b12de