SHA512 (netbsd-INSTALL) = 7737c08817568baf856c76ae2184764174e18aca87091713d551ca6b62e58887825f6db1b389218283709bcdabb63eff3330dc694fbd05b3bec944f1a1f1228a
SHA512 (netbsd-INSTALL_C700) = fd302a12b7ff32e51c75a1961ee33eaf30cd6a8225a6146a108484bda4e3ee641615cd25fe9f5df51ff97f993750e096c8efb3e8f66a18394727033da22fc241