SHA512 (netbsd-INSTALL) = 1195ca3bba9c2dc917a72d24c57e5f0463b10d3b51b4156f2fe7c518ad2a748ea70797dd92c6e4697224a4f3eca63463ee5e216239ffdd8992bed9e93f63dd6d
SHA512 (netbsd-INSTALL_C700) = b17b578e1c30cb8f3167de5218a35db4be1dd5fea6827cd5d27e7264e11ab0d0c97b2a146c8364e7a6789b4ace4ea2d7de56ed10897c9d1701c072764be3cbbc