SHA512 (netbsd-INSTALL) = c2fa80bbfd298404997521b320ee77056600539ca92f17f9a3f14b712e4fc668cba97f16ee55c7d8fc672f90f7a96891354c73b7f41273d390701761f0c4c663
SHA512 (netbsd-INSTALL_C700) = cdbc132a8fa4a7f0170c2bc32ba4e788b872a77a3a8b160d207306ead3f7f956b8cc1b084652e277feed9fd8e805ded30da7890bb2ff581a31885a8209b9ebe8