SHA512 (netbsd-TX3912.gz) = 635a5339b82fc525feb4482e3474de552676889508494b2b96f3617859600dbc202e48d49cc356683ed8342b02e7cb24c33fd63ffa7b7ee963e37edd84e83e36
SHA512 (netbsd-TX3912.symbols.gz) = a0128e4cf9ab0201db99247eabadaaed290e93a6ecee468051fee5905215338bae2333ae0765762669a4da88c8cffda6bd94eaf6673f75166d450919bdc18bc5
SHA512 (netbsd.gz) = 6b2540d464e90e628b578aca4cb8d26a378d0f474629d63990b6047daef192b7cf203e895dc77ff1ec48cc599b7138cb6253730620051788a3ef04ecde273ee0
SHA512 (netbsd.symbols.gz) = ee88cf55659b03c1d032f7afc3a330154f22928d88590ac379bebd9da5beca20d7cabe4c42b14efcae5b7e9bb4be4ed86eeca5ae87c3c8efecad5125e83c9370
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d