SHA512 (netbsd-INSTALL) = b5699a8668d533f1612bb295890a97669308382e36efabeab39c09bbd275f6dc12c524d8d21eb5ef39bfddd06c53372cd6d36d7ac27d6be370a60d2ca5bee9e4
SHA512 (netbsd-INSTALL_C700) = e47b8d48d87c69b3f4444f7b5f6acdd1d90f719525b3f1e15e8c4d925f344b002b7900111bbee876ba1cf808cbdfd758fe6c31c698f419feb43763987877d303