SHA512 (netbsd-INSTALL) = 2ab308bb8e8751a2c962337000cfe6b0f56582146a15e038db5e1d91e2fc0124a1326036187121d3435d8328efb973720e514dedbb096a48913f6f263c4c1206
SHA512 (netbsd-INSTALL_C700) = 56fbfe0417f0af7dad23973b48f0571d73df419ec9f3a68253b5c17c28fdc05d9a2147c4f2969642566a20037674adef4947a8c4e4306e5445de88406b4631ca