SHA512 (netbsd-TX3912.gz) = 23066234bd26fe402509098f37d7c731482e5b277f8df85a02dc2e62f0a93a914bb038be2604c5dfc99bb27d791f9b9e4b14592beb72928a9109ee8b817a2bc0
SHA512 (netbsd-TX3912.symbols.gz) = 0274511907bde096dc8d96c2f811d714b7b8ed21457acf745198fb87470ba41ec3a803a8ae2c39374ee7f2e4f1be4b3ba26720d645df8b4191283341c2c7e48a
SHA512 (netbsd.gz) = 7474a1b1c4c5fbab3b65deaf8643c00fd5b08693ee244b65b8119aaa0cf5497ae228f301d7f9750179f768df0b47c0464425588aab1888a03d166a8daed28e31
SHA512 (netbsd.symbols.gz) = 51df32d6b53bfde17bc4a065961310ed1251fbff175a9f70d5da5a2309d4461a7f7fd5d50001a69641c409f05bc826b1573f2968b7e5e3ec59e3d2a9971bd05f
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d