SHA512 (netbsd-INSTALL) = a415b67cd170988c7a08b1a8eac8988fdb5174230770e67268b9407908581b92efa04c50de4a80b7486dfd7fe703a258da1640e7ffd9c3e33c9c0c11b1fdea25
SHA512 (netbsd-INSTALL_C700) = feaf233c97bae2066ce489342c8f9f24154a592a695a0de31ae2fee03b87208be5d92a0e3c604ccded303cc1a6692faf457d4a529dcfa0987b69c90ebf700f46