SHA512 (netbsd-INSTALL) = 0d8db132b9e0ecad8f0e4ac4614c6453dc817cb3f8f03da76d8df83f9076d33a26cc2103898768dbb9df15e724dfba1a119f16173959adde1c156773218a11da SHA512 (netbsd-INSTALL_C700) = 0e922429a7895f41cbbff1af2d415a75247f1ad811c94efe49dabf7f21e33d10ff64a657610a74a392cee9394136404d6ea1a4c4b887a1275a1d9ebdbd846d09