SHA512 (netbsd-TX3912.gz) = d8d293e6bd90244c40db6de6e4d59f7d3e9b03863f4b707b45090b365e2b644aae11e2c214af565392b2a892fcff07196ed61e5f104e43f983c48da23481e352 SHA512 (netbsd-TX3912.symbols.gz) = 0311d2220de5b872298e47367a07184b423bb0e46238da7c15facd4531bfbfb8bf397597c66b26fa7ecaf44ef810ef8b71bcd0f0e8bd244ffb5d545b913a3ace SHA512 (netbsd.gz) = 6274db312b123a6249d1d9ca1a0dcba60eb1ee8c7a8aa3a9fcbac25ab5017e308e4cc5356659e024fe9c5dfcfa2526d801aacc977bbbc0aa329e7c15776892ac SHA512 (netbsd.symbols.gz) = 942fd7d71c2df8c70155550228f5b10aab336b8ac27c46758f0ea81681bdd5144ef71c678baf92135c4aef3189fc2f4041d5239f2e6671e42dec2566fb4b923b SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102 SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d