SHA512 (netbsd-TX3912.gz) = a8e974c6564dd8f09fc1d2dfe9c3e35821caa656ee091dc93ca8a2df0132fe4431eec36de5b3545ca181f7e505acb460255d7951f4c7f66431768b8d9e189e35
SHA512 (netbsd-TX3912.symbols.gz) = 0274511907bde096dc8d96c2f811d714b7b8ed21457acf745198fb87470ba41ec3a803a8ae2c39374ee7f2e4f1be4b3ba26720d645df8b4191283341c2c7e48a
SHA512 (netbsd.gz) = 5bb22822675e4b86c6577b29b65c30aca32158d5686be2f954765fcce2763b53862e8b26e390489a0e58e30d613538a232585ce4532bfbc0cd0b1328dd393ac3
SHA512 (netbsd.symbols.gz) = 51df32d6b53bfde17bc4a065961310ed1251fbff175a9f70d5da5a2309d4461a7f7fd5d50001a69641c409f05bc826b1573f2968b7e5e3ec59e3d2a9971bd05f
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d