SHA512 (netbsd-INSTALL) = d3740b55b66b17d76c48801e95a120a21568a1b5fe4a51e241bba1504c7ba5a0162ca25dc14fbc62a55444d010cc5b652836a4d80a9d16fabd1c591d1dd3f039
SHA512 (netbsd-INSTALL_C700) = 1d685645c835854df50921e21b66c502d46c32f4840a735fcb810df12ed4beaa936153f1186dc473251bf9f1e455ff27965da0d92f3b8b487318b79dea651c94