SHA512 (netbsd-INSTALL) = b72cf8ff7df547240669c46c454e50129ebce9b4407eef5fcb205653b4283b15cfcf1b446dc16a7b6a8cbd74c09a81a62a567633c08cae834d90fde679246ec3
SHA512 (netbsd-INSTALL_C700) = 0e5fad58334f3f46ef789b336a9a17f1d911cbd31d5a737bbfd46b950e8196da5eb6d0f1bf8d1ca29b76024e6f6d8e92b3aba15e63ecfb3c60a3311b74c37445