SHA512 (netbsd-INSTALL) = f1c2e31583577bbb1b590333ee26f8e64bda6dea947d22c079fc3eb4e284e3f235c89c88a11a2b1e4a53405a8c906880c84e5d22351741f5fd6675d07ea96ed3
SHA512 (netbsd-INSTALL_C700) = 0f12d660805b1d771379c9358622e2df7492364ebf92ef32d1f00348fff3f35b926fd1f7c69b15ad40a433f3fa19a22c9f4b944db4a54bfe5bba74ee7ab67875