SHA512 (netbsd-TX3912.gz) = 4885e16a7323e13ecbc1bf191cb3d4fb43fd475ff8d5969390806baa9447a24440eca5dd69804ce0d3845e345eeaf36bdc3291e59e07c14fd4c46118c8ff6c07 SHA512 (netbsd-TX3912.symbols.gz) = a6a5f949effef7acf5870f89acdaca462fc142137916a0fc5a2ee0ebd835b60617fe30ddf8fcc4d76e0707628d0156b4990b38952b81467551b06642197d2287 SHA512 (netbsd.gz) = 5afc565de9233185c9e840f5876e0a9510fd06b19a0a6f72fd5284ea830e843ca37c0b4d00d3b16d67a4545df1acfdf222d8295adf96d33ce26bfcd6e35553ec SHA512 (netbsd.symbols.gz) = 19698aa50fe2a4a38dbe26a6aee562965d03c2a991f6d896d17703f1870e2413a95c2081e775d11f991ffc98751ac2230135e0e524c0e08281490bc1fde4631e SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102 SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d