SHA512 (netbsd-TX3912.gz) = 8f159d6b13d88aa244424664a78ec3c0900955ee140037108f871d11b67e9a936b38e585c183a2d7a763990b37f13ed3b4b1d7a68df16be62e2602977c581001 SHA512 (netbsd-TX3912.symbols.gz) = 308bebce63b0207604aa0db6f6f9808c7e0ad16a5ed195cf27ce03d108fdca63b6ff071ce57aa995ec65c8d1dc88e041dd11ea744865bb84d24328575c713a7b SHA512 (netbsd.gz) = f6a0b9002ef824c3f771738bb058bca402e9057d40a06e2da720572cec4b5e2408afa70ff34dbe2271d10678a4bbc198c0ae664bdfa0b1e2a1cd23d1c2b87e0c SHA512 (netbsd.symbols.gz) = 691e1a92502fa7a738de267da566dbb45f3915ec5cf4590b4accc242c4c63ae8f3d02035af710b12dba676ea85fdaa324fb55370fc84e590daa7fcae726f64c2 SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102 SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d