SHA512 (netbsd-INSTALL) = c85d4fcc672777a695fb5f439cd0d248e7148aaa6de5613899a16309e6e2d5d88dae899c897c6c5f26f7f468ffac3e5da14f33f1b79df0a4ff7a37e7de6076ea
SHA512 (netbsd-INSTALL_C700) = 77c208dd6e5871aebdcd6e7377e062b80d312a42f6bd030a7da59ede1c95be19ac236dc365ea780f0d89aef8d1c775c6af56a45fda99e1876acebc9998dcec1a