SHA512 (netbsd-INSTALL) = a12c71703c2db2863b26ffd7ff2d5ff9ee7d131ccc63a1a8f4661d614c9ed2e85fdbc3f5be3bf5d745cfbd14b822aae7e4940a8f49ea6e9c886e7dfadcc3a6dd
SHA512 (netbsd-INSTALL_C700) = 305269c2942f45abbf2743b5bbb52a83aab9f081bb65bfcaea38a1bbfb875777fe0308c2f40ecf6b1fd071b1282711cf86378eeb35271b6061fb5c32e50de6c9