SHA512 (netbsd-INSTALL) = bca1107cf3ba3c72c6c92d5f4ba8aaea4c0ffc14bf3c940c0607ec8243df324ab2898c3bc6d5e839508f0924ac5e9af9615aeb43db71db82434cd15336668a52
SHA512 (netbsd-INSTALL_C700) = 5cd2e469026ff7c18e86c642d946d2eb9d21d096a69caf88942f1ac694017f09299aebca4b0afa19c8c9a9be26d913411d04125f985ed2f3ef2dd353c4d07b88