SHA512 (netbsd-TX3912.gz) = 520b8eb104d98a1275fc535588ed015d4af0c2dc6a807bb48e674331d0827307d992fe4fe9f2b2d238b91aa78c3244836062a7c181e687f0346683c8653f4410
SHA512 (netbsd-TX3912.symbols.gz) = f813491dbd73e3abb009fbdf3bed0167b2a079948d5670bb67f843c8bf6b7cb5e0d2f80028dcf93a335fdaec3e112652b19847c101604afe94eee96144c95156
SHA512 (netbsd.gz) = 64c630a6c132ad7d6d7c28855b39ce1bdf1118f846e11ffdab08b3906eeeb51d6228cb9622ca16d1497af4f2084a1128d9ba4d4b547cafd2b6e444bdacdf578f
SHA512 (netbsd.symbols.gz) = 2e646b2880b048fd2d1aa98d8b99c8d85ffedcb0d6d849f3afb29c49029c6e84141db2e0e5328b85d6080c7685aa60821f0ada093e1060ac5c984beff6a3372c
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d