SHA512 (netbsd-INSTALL) = b7cb61fec54b4ca9de3e477408a59b55276a8c903ff928cfead88799d70c4233c0174d335d2a6cadfe48d12880eb5b75ba64f703b45fccf7ddfd22a9cc0f82dd
SHA512 (netbsd-INSTALL_C700) = f78431ba0f079ea80d3cf946ea071817eec0eed8e95863c53f48bf552ad738317b6c567bb7154517466352a9acd7965f1333e05dbdd4d27ab9bda0ebe7bf0ba6