SHA512 (netbsd-INSTALL) = 2ed94baca6aed0a29ad86ac77958b5e10c27cedc0b12c8bad6565a676e910f2f0b67be8e90df8710316a803667d2796ba8b44a922aa5f1b1ad1eb82f78874dce
SHA512 (netbsd-INSTALL_C700) = df78f3d1e32e85753396f3e01360f72d57a674b1c257e49aca510e6f196f64ae406874eecf767fbbf43568334b2bd5795e5991b7386f22299329b71987b5ae36