SHA512 (netbsd-TX3912.gz) = a2c993e80f781ddc4a7cd4af7b5c2b35455d7edf3fc57a1277a3d101cb59ee32a932dabf9c763d15a4448899719c5a173d763b24f0b8566aee6a1714c611f0f1 SHA512 (netbsd-TX3912.symbols.gz) = bceea39a676a958fe76ab91213aac3a23181c16b74917c33d7fbab986d41b745d11d1ec39cd0c3bc224ad2326a4bb6d2b4058c9fa97f57ad600be4f950b08ba1 SHA512 (netbsd.gz) = 14173c2e50c358c6d1cefa570a20dc82ddef953b932dc0c20b2a5778bb63923de2e6964c5c3899a70e3962e8f11f7b269f0f288e0f3801f39523f6d4ad3e975a SHA512 (netbsd.symbols.gz) = d1b9dbf66ee01dd9c15ce6bdf879d79a7b776b567a537e577208df346c351d9e0f0b432a8774126a51427fa873582489aa09e1592322881523d7c4bf14f0cd5a SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102 SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d