SHA512 (netbsd-INSTALL) = a30bf7437f5f9d60cdbbfb34145d6a49811d3fd16e724cffd08caebbdf5de7f6d326b3185e60bde9296be9b7f8e29456f613311dc0804f005b5b23b75bfd8349
SHA512 (netbsd-INSTALL_C700) = 1ead54a69d9472fbc4596f2bf17195691dcf893f273a4d5b7d97e657c9ca8865c2a02ebe3f07717db023c524eb95be7100f7593b306f016443cf200c1279c3df