SHA512 (netbsd-INSTALL) = a54bbdd802458586bae2eb2f50ea72b6018ee20991f8dc6aae03957a9264339d317918f929b08bbebf2a36b662585a8c74244504d8884faac6d9d2e69c9743af
SHA512 (netbsd-INSTALL_C700) = 8bcfe27ddded47d11893d67b8bf722d6e8e947c4b006141c75bc61cbea35b3705c9a0fc7109d77a0803bb1a63616eb0c4a9b8e288f473e73f5863d49ca47b4f7