SHA512 (netbsd-INSTALL) = de1c7466857bb8c414c9b456540a9583c2949e8012d6aa867e798ef335a9eb1787a4c1ddb23117637328cab72398341936d9fa2e8868f6cb2fe52130e86891c2
SHA512 (netbsd-INSTALL_C700) = 3b2fd5a7d5aa87d8566042e9a5ce8aa07ed354a69e31f04a7ff96731153d7153fefb2f2417e60b64905d088886a86b63494570cdfad79aa6c5e5916509c3e4c7