SHA512 (netbsd-INSTALL) = 333c5b47b9ebf0dc40ea02a3c6db1bd41c025746ad69fbbc443ebe1ff54b5d7c4d4cb960a431e767a4ea640c55074b98613273d833318aa391851c256a0264c3
SHA512 (netbsd-INSTALL_C700) = 013323de2ff7344508e5f6999b38093537433f88034cf9c8a5c57d17394455e0ee25cdd4a1fbb364543b1a3ef333e7b41e08f61719971f7a534c38a838176cc5