SHA512 (netbsd-INSTALL) = 619cbefcbb4ff60e64bac530983c262a92e3a48761a79170b7c9bd242c69412aefa7c8f74f987c13fe94f6dca8620113827560a5243794bb081ef66590750c1d
SHA512 (netbsd-INSTALL_C700) = 7a234af0ab2f93344c628d02bf987d33806b7e26f723786f150489dcea15c6b472eaf8ec486819a46437f318e7de603b2fdff20d3d95a5ca98ec611ab5b44926