SHA512 (netbsd-TX3912.gz) = 9594b532f27d56eccce7f4628441f4e08c724052978ed2297a87d35149f147c910c68d375ed9401bfffd21380ccaa56298b6a8befddb3dc81cea3228a1bf6491
SHA512 (netbsd-TX3912.symbols.gz) = 25db70a0f5062f840017886621573a35abc3b0286dc2daf7780bb9081d48bb50b1d271faa00c04458f82aa33c77a4c8d87fce5114455a14d95dd84615a3bbd80
SHA512 (netbsd.gz) = 2bc3920942b67882ae51db218e3e5b0b2972c025d90d07082a2f69397ea298acb63ae4b5cf55fc339950469a8704056da6b6a92d6a52a43198003abc250e05a2
SHA512 (netbsd.symbols.gz) = 3df5916f851ade39ec25280eca29434e2192e3bd88fd26304fa3a2a05876b9fe58f04819ee107e0c2c93ce09980006a82d3b7f58b2a5552213a0374b9f6157c8
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d