SHA512 (netbsd-INSTALL) = 85c96b7e5dbee6c753736ff399e30ecac22f035847b8d75f5a1ac5bdf620b311ceb3c57851f9afd888e98051c1073dbf8aa28015566e168f6efd7886bc6469ed
SHA512 (netbsd-INSTALL_C700) = dcc76aa90752586aa29986ab92d722e940a6a12bbd03d70dbe07096f51cdf70c04e628dd8eadbbac2c41e5c21425d56070ff68b09e11f628f8430d2c4c72a98a