SHA512 (netbsd-TX3912.gz) = 01787586570c03c07d53cd42c0e499f83244bbb3e84c7696a607dd921babb2c1a2f5ca14b9c80185215c35ae39db47b7b985662dea23821c25cd862e2864778c
SHA512 (netbsd-TX3912.symbols.gz) = 6ec0282e79ff07f376d0b1bf6255e7dc10cc3e80c3ae856c88d61fab0cefc53da0721c8c63996f8ee9cb824c67db136193ffb12cdee2962f610e133361454307
SHA512 (netbsd.gz) = 0def273b26b552fc3af894162bcf582f77236e2ca67ad925ed5507150936672f95a0d8c9f22dd024abd5b2b8ef5fae735c5bcd993b290f5cc6702b454e1ef0e4
SHA512 (netbsd.symbols.gz) = 40154c7004dc482ffe24ae66e77f29cc0e84ff0a4714cc0d794a7141c47c9710a13a901d5ff46a521644428df0fe768d7941bcaa0e28e1c10cf4c17bdfb38a88
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d