SHA512 (netbsd-INSTALL) = ef59807e8589f1e54b9f7c14808902414da23f730110fbd463854c08a0e53c78fd98351742d3ae20df94b42e17ac85d78309664062c97621629bc9ea77a4da05
SHA512 (netbsd-INSTALL_C700) = 150f523c5f88e580c52dc9afb32dc47494c0ec09ffc19e0a1e83a641e49be014b130a1a9ae4070212bb5686bf8a0ba5b3f15ed2c7f2524a408892b854f4f3b4d