SHA512 (netbsd-INSTALL) = 79f082a70c9fd5572db477be4eeb3667fb943a8f43aa227c3b55c0c8bf6a2791bec073750c6263c1dd7f399047b44bba31a59ecf269aadbaaf9c9476b2061f13
SHA512 (netbsd-INSTALL_C700) = 9072e2ef1230068fb10be4afc1397f6904b03a84a072303485c496701a64eccbaddb48c431dedf18916b2402866b1589344662f4a6f46f60d38188ffe8ba9f58