SHA512 (netbsd-INSTALL) = db6ae992a11b23588c676f54e0f0fb42f93bc4b67c79f64edcc56791b66cb97db2fe5f4f12fd2d42b91119f4ca3155893ca1e78c0a657ccfc0139bc66d2f2bab
SHA512 (netbsd-INSTALL_C700) = 7d67e9346b1acd3a11c58b753feaf33566a9fde10bb9992f114bb9ea33ca794674d7045c1d302ba22cfc18466c92b255ad1602a1b14ed625cea2ba01e8821213