SHA512 (netbsd-INSTALL) = 72feac15b05dd69bb57b5cccfb0e600ffda19f18846e326ffb8539690e131602c3f3bac0fb4e1105bf931b48891790520bc52ae87320ff0f8dd2d0642282b5ff
SHA512 (netbsd-INSTALL_C700) = 87f0589cd2b047f8848dd32811f982f256a1aee70ee1936a8067c96baab08c3130ba651d75243164fe0ba6adda46fafc972e375b995a8f93f8fbcb76396f4791