SHA512 (netbsd-INSTALL) = db9e0b27e343576526198458296f6f0061cec700c895fe78dc10cbd6a0b6f173b6e815c231cfe6616e8bce310b50ad7903f3a2ac1a6da34ad89d26913f0334a7
SHA512 (netbsd-INSTALL_C700) = 0d82bae76d8a9e8586c767a8b7cbbbfcc7b60b39ace4a92660e48dd62690480028ffddcf33b22ed0365e9a5372b9f42f348be7e5af2893ea37b39fec11dffd86