SHA512 (netbsd-TX3912.gz) = 786510015d0506ba1566825804eaa3ebbda72a639c966271d5b68c50f094f6e871f2e3b2a06275d8e79f3198f070825a66843a62adbaaea257cd2ad75591721a
SHA512 (netbsd-TX3912.symbols.gz) = 1ac0e4f961e6ae9ba912d3dd60e9b5d282a989c720584050cc85587d0cee9fef546ae3782ef496b078e12abc430bc784c05f82ba637bce61aed5d93ee4606a0e
SHA512 (netbsd.gz) = 0ebb386f227c9f022b27c3872709b768bf8311d6ad3494dac9e68ff3227dda6f3d659c656eb5a19cd6fe2ec3be4ece783dbc6ac990feff763564cf2bdc523dc3
SHA512 (netbsd.symbols.gz) = 4202b8db0779d4e5f687c24574a193b73492cc18a109fe9d8db72b3b8a62e080d6455b1ea4637c4f8f8fed4f89a45d9d23dda8d96c2c91b56dd991b44bb6a8b0
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d