SHA512 (netbsd-TX3912.gz) = ee249526eb517d120505466b560b5c0d3a8c0562abf44757676e3641f7b3b3981be16aedba2fac4205d907f62b80487b9e60cb2358631c727ab38726473f3d3c
SHA512 (netbsd-TX3912.symbols.gz) = deb263b8ba74ea3439f04d55b1e108e84a31eab672b94e29ea2a33add306d58426b10b87b84fa1988fcb439b125736a803e38982f0bd0841c3bf4e9a64c38c10
SHA512 (netbsd.gz) = f4e9521b831559d83c5b417ea9ccd4772546b2807c3961ae13787d3c048b94cc27ed83f754d088546e6b428660a112690041e86e8eeeeea8965a2d785395a9fa
SHA512 (netbsd.symbols.gz) = 77046ab3e430c41db72882cd7bb7d9f5bcdf39831a2f3db845e9bcbf4efa410fee82370e3e38b5908cab527c735ce41c195b1a0fdac58d371a2b3ae5bac8ebb4
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d