SHA512 (netbsd-TX3912.gz) = ce160e8114354b2c014218c1ecd5a0f02d447bbcdcd7f090aac04627e0abf4a57e373a35628206576f059d61f85772cc0c8d771cdecd3bd62911ae8a7b71de7d
SHA512 (netbsd-TX3912.symbols.gz) = a0128e4cf9ab0201db99247eabadaaed290e93a6ecee468051fee5905215338bae2333ae0765762669a4da88c8cffda6bd94eaf6673f75166d450919bdc18bc5
SHA512 (netbsd.gz) = 718ef41130929816e92322fe5ad9146bf93a8db77f31e3790b528654ad4f4f1e7e2c0a75b6cc17fbe37709a885f989ee009e4acddb0e84560ecee29eca8c60b3
SHA512 (netbsd.symbols.gz) = ee88cf55659b03c1d032f7afc3a330154f22928d88590ac379bebd9da5beca20d7cabe4c42b14efcae5b7e9bb4be4ed86eeca5ae87c3c8efecad5125e83c9370
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d