SHA512 (netbsd-INSTALL) = 724c7e9a1a4bc81eb469cd3bdacca508d1aa917f9992e9671a1e7bb88a415bf44e6cc68d49e234586eff121b529ef5e4dfdc0d1a56951089fc19a01f343f0688
SHA512 (netbsd-INSTALL_C700) = 961c985e002f82d27171be13e2d6580395557d610e4076288d437ae58f81230694e0599e783663c284c86d7dd48ba3a510110a69ed8b3d7071c3a8db82cac340