SHA512 (netbsd-INSTALL) = eafd87c401f46c4efc0687b3b6dc195a36d856d6ca495ec5505a495c3fb7184a2d2429e4c2846f4a042ffc59fc72d811f5dabd7f05aaf32b3d89999b6a376638
SHA512 (netbsd-INSTALL_C700) = c899f3dcd631c1cf90d3cbe088a04794aab3e92e0836719f09bc07ec5f54974fd77ee512cfc72f0648e97471fe45ef62c5aa44df9c0cb0004b3d790c42b5d614