SHA512 (netbsd-INSTALL) = d07aa459043ac47219edcf0f5ceed95205e2ae46e880276cd03378ead8b0e1adab7de3822f7e6b6a1ef244e980a2fcabbc24ce8912edc974a6d9262eb9a61838
SHA512 (netbsd-INSTALL_C700) = f617a33aaeac3059e112106213ca23975ef078c920cc3f1a617ea06620cd6f1cee966375aefc01ebe95536eb0eca9905955392b83c74c4e780580c9ce0d20974