SHA512 (netbsd-TX3912.gz) = bd785018abe27eaaa5855e0e7d03191730f8ab1d3414931266eabdc2b858a98852e5c35aea95b8410085bc185ac87cf8a147ad289be211621d99962f0d856a19
SHA512 (netbsd-TX3912.symbols.gz) = f813491dbd73e3abb009fbdf3bed0167b2a079948d5670bb67f843c8bf6b7cb5e0d2f80028dcf93a335fdaec3e112652b19847c101604afe94eee96144c95156
SHA512 (netbsd.gz) = 7ccaa8748aa4dfc40447d82c678eafe2d0f6ca6cb767ab6c67c9bd9d53da6670607b851e05597d4c522738c98d6bd47219bafc686cbc314ac0d9a49174661f80
SHA512 (netbsd.symbols.gz) = 2e646b2880b048fd2d1aa98d8b99c8d85ffedcb0d6d849f3afb29c49029c6e84141db2e0e5328b85d6080c7685aa60821f0ada093e1060ac5c984beff6a3372c
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d