SHA512 (netbsd-INSTALL) = 6d365671daaf5944c1de82e72f376b65ad1535f47e4684ce4cf33e59078a37e90d2ff8936674934f7728881954e66a2f3807bcf829bcd79b4f432f440d2a6a93
SHA512 (netbsd-INSTALL_C700) = 4b8a3930e85444dcd8edb65a04fa91ec0438ae559dec7a8707a1f5ba746f5bd3e9d3529616f308686e45d522a4a03e8eba39c73848f19f70e1eaf60dbfcb131f