SHA512 (netbsd-TX3912.gz) = 5798d6867d584f29634409801265e5c34d6594b917cd2bc13c8338299d1520886122e61a1017916ce4296202fea59b4a33f15e848df6f07c492a43db0a35c1d9
SHA512 (netbsd-TX3912.symbols.gz) = 71053409e9800fb2e2f48e93d341f0f10f37ccadbbcdd46514e3fdb997e041526875df8b22e8802a4b41ad80be2d658db23c1cbd6dee87128d67663b44d8faec
SHA512 (netbsd.gz) = 879087e4169c182525317a95fb8b856bc981557805d74f8f987b174def962ed370602685399b0845429c62883be84021a58edaa037c214393f47f72ddd00ef1b
SHA512 (netbsd.symbols.gz) = e43554ff200706a822287f2fc7ee6e9ee7005e1fccee878513494cd3e29de060993380b5e1ce043c37cb2fa0730fe8e37c9664852b4137ddde212102f8e8867e
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d