SHA512 (netbsd-INSTALL) = dc65af2a75e810fb4c6a93197e90594f41b7b9a96338a1534b852cd8e41c3ccbd71722411780e950b09780bab7c5b6727c3aefa343b853f39fe969919289a809
SHA512 (netbsd-INSTALL_C700) = e45cf46c8111e699160f2d1937c7a034b62584fede5391713dc89346de58315ec0bb33d25c414bcc9ce4aa7f5dd912bf9940e5f26d1696ad7b84d025991aafb4