SHA512 (netbsd-INSTALL) = de2bc9f72060659f7ca1c4c772ab7aec82652d430fa16ce791657e8733950fcabb5b2e422a6fc476c79f6be9c68fe2e06c677e9d1697d849f31e1e609195c286
SHA512 (netbsd-INSTALL_C700) = d349ff41ee9e85ef522612f1b33249f999795ceb0ea5b0d349c21ba9e90c3e38a386c6db00417999b2ffdc1fdcbebe369bd4bf18306a550b16361baa97896eeb