SHA512 (netbsd-INSTALL) = 0a58b1cd2a41428f73cbb982baf9eebca53338b40e1531b36fdaee8447d449c1ffc0518484e1e496a4cc54709a79301c2d23c160dda78df8f90c581c974e8bdd
SHA512 (netbsd-INSTALL_C700) = b1cb2f514aeacafc88083a4d1dd9d1586f468d17430bd24367b56db5a987d0ca723d508fb95e992219bbe0457c07c831f3aac7978a29a981dacc1d5739e5c2df