SHA512 (netbsd-GENERIC.gz) = 1940f649737235f4db902e582f7e884be15d0d50ebf0ffc31eb5bbf23412a4b5a34993d05bca99e97baa8203cd7ffb67d8476867a7b604517d45def6f4075152
SHA512 (netbsd-TX3912.gz) = 8791207694b9ab43cba6fd5680caf05d2b5f19d53a45b7e94b3404217d5cba75b72083294e81ec80b191c01d7c250e047597940be4156f8ac2b56b5e02c83bbc