SHA512 (netbsd-TX3912.gz) = 897e3a922dea42ebb6e095e055d0254d23f2e4acb3bcedf7d5ca8b6d4cc71f991af57bf09d30bb01e3e90e944010fc9a1fc4af00df612c5ad57db270f50626d0 SHA512 (netbsd-TX3912.symbols.gz) = c1e1fe8b8705e3cb99f317f2d08b30c82fc67688a0367d907eaf2419f0ea005c48e48a3a8db8e1f2593d8053c0a62137e2b2ea9939c6f502963cae931d5b9ac8 SHA512 (netbsd.gz) = 753f42152f69feadf34c5052156d535f7081676c30624cfe460c2137c58f6f21aa0c7e974fecaa1ae4d736ff8bc97d4bed4db8e2fef9380bdb78b48f384e99c9 SHA512 (netbsd.symbols.gz) = e222bc01a54f7ce494575990fe87c15cc0a1aa35b0a1a96dfae14b5fd089ad149964bac4fa894c94fd46b1d6ead709a2d1ef476f1f28edd1b461d258f12762ef SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102 SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d