SHA512 (netbsd-INSTALL) = cbda415699843e70ef17f866e30c59ca25264a5094d5e6e5c61f255ccf4c4930fbd0a795c9d9ac0c66e29b19d2c0782eab778580c68e095a3fddbd07a5420a37
SHA512 (netbsd-INSTALL_C700) = d4682e15a277708ff53aa3495a6f6fe6df707add16e0c48e23a48b1a024f9165111d8fab757431a0de7efd0a641e404cd37d8b9a977b2773fd98df83918a5f69