SHA512 (netbsd-TX3912.gz) = 1072c119e69eeb64f96a820a8ee1acd8a811aa845d8985ef3d82e456d07eaca8f163c6021666013fd3104ca127ac58b05e94e8a16cc61d9d2fef9f8027147612 SHA512 (netbsd-TX3912.symbols.gz) = 1e3b72cf03d6ee9bfb3fc72e7c874ad6d0c0d9349a597f984abfe846323bc1f10ea65e3ff63314d94c85c2ae8a206f19655da7116526b4552b07fdb495d0d896 SHA512 (netbsd.gz) = 3e11eff5eaff1c75a5a3d40761316c9487f4200923bfde6cf7d7d1b7d64045477fee7e3d40637b59af82e66f47b83e46da10125e24d9a2e4650377e84c7961e9 SHA512 (netbsd.symbols.gz) = 00caa17bf8ec2fa8cfc1a065aa67135d119ed124ed4ec45a4fe3a54b87ad0c8c3845c2afb0adf3f1d42899bc135df33a2116a84327840c74c2cf74e94973503d SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102 SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d