SHA512 (netbsd-INSTALL) = ebbfbd1de76746eb850a4af8e93b2cd5c4594f1c45239c3e7915fe03b23915a38a958c1b49121aee598e2024f1c39e2dc705f902a126da917bb383767d5f01d9
SHA512 (netbsd-INSTALL_C700) = c71e7ebac658b55cdb8ca7e9e014aac3315ae82b303a47221b150746bf641cc47cdcc608640c39a5947cb499f55624408c2aa2e6e50653566c3998375eb141e6